Suchfeld einblenden
Person Jones, Neil D.
2 Treffer
Seite < 1 >
Logic, language and computation
: Festschrift in honor of Satoru Takasu / Neil D. Jones ... (ed.). - Berlin : Springer, 1994. - VIII, 269 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 792)
ISBN 978-3-540-57935-9 / 3-540-57935-4 kart. : DM 58.00
Quelle: DNB
Verification, model checking, and abstract interpretation
: 10th international conference ; proceedings / VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009. Neil D. Jones ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5403)
ISBN 978-3-540-93900-9
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
