Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday - Couverture souple

 
9783540210023: Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Couverture souple
ISBN 10 : 3540210024 ISBN 13 : 9783540210023
Editeur : Springer, 2009

Synopsis

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.

The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2009
Langue
anglais
ISBN 10 
3540210024
ISBN 13 
9783540210023
Reliure
Broché
Nombre de pages
804
Éditeur
Dershowitz Nachum
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

9783662210369: Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Edition présentée

ISBN 10 :  3662210363 ISBN 13 :  9783662210369
Editeur : Springer, 2014
Couverture souple