APA Zitierstil

Manna, Z., & Peled, D. (2010). Time for Verification: Essays in Memory of Amir Pnueli. Berlin, Heidelberg: Springer Berlin Heidelberg.

ISBD Zitierstil

Time for Verification : Essays in Memory of Amir Pnueli / edited by Zohar Manna, Doron A. Peled . — Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. — Online-Ressource (VIII, 413p. 113 illus, digital). — (Lecture notes in computer science ; 6200). — ISBN 9783642137549

Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.