Esercizi di analisi matematica / Mauro Picone, Carlo Miranda

• Record Nr.: UNIPARTHENOPE000001476
• Autore: Picone, Mauro
• Pubbl/distr/stampa: Roma : Tumminelli editore, 1957
• Edizione: [3. ed.]
• Descrizione fisica: 442 p. ; 24 cm
• Altri autori (Persone): Miranda, Carlo
• Disciplina: 515
• Collocazione: 515-E/15; G 515.076/1
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Verification of object-oriented software : the keY Approach / Bernhard Beckert...[et al.](Eds.) ; foreword by K. Rustan, M. Leino

• Record Nr.: UNISA990002967780203316
• Autore: BECKERT, Bernhard
• Pubbl/distr/stampa: Berlin [etc.] : Springer, copyr. 2007
• ISBN: 3-540-68977-5
• Descrizione fisica: XXIX, 658 p. : ill. ; 24 cm
• Collana: Lecture notes in artificial intelligence , AI Systems ; 4334; Lecture notes in computer science
• Disciplina: 006.3
• Soggetti: Intelligenza Artificiale
• Collocazione: 006.3 LNAI 4334
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia