ISBN: 9783540210023
TITLE: Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday : 2772
AUTHOR: Nachum Dershowitz
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 24 Feb 2004
Popular Trending Products
ISBN: 9783642453205TITLE: Language, Culture, Computation: Computing - Theory and Technology : Essays…
ISBN: 9783642453267TITLE: Language, Culture, Computation: Computational Linguistics and Linguistics …
ISBN: 9783642453236TITLE: Language, Culture, Computation: Computing for the Humanities, Law, and Nar…
ISBN: 9783642137532TITLE: Time for Verification : Essays in Memory of Amir Pnueli : 6200AUTHOR: Zoha…
ISBN: 9781461242239TITLE: Temporal Verification of Reactive Systems : SafetyAUTHOR: Zohar MannaPUBLI…
