• The Calculus of Computation
  • Bestand

Treffer: The Calculus of Computation

Titel:
The Calculus of Computation : Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna
Verantwortlich:
Bradley, Aaron R (Verfasser); Manna, Zohar (Verfasser)
Ausgabe:
1st ed. 2007
Veröffent­licht:
Berlin, Heidelberg : Springer Berlin Heidelberg, 2007
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XVI, 366 Seiten)
Publikationstyp:
E-Book
Sprache:
Englisch
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Bradley, Aaron R. The Calculus of Computation. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - ISBN 9783540741121
RVK-Notation:
ST 125
Schlagworte:
ISBN:
9783540741138 ; 3540741135 ; 9783540741121 (Sekundärausgabe) ; 9783540842002 (Sekundärausgabe) ; 9783642093470 (Sekundärausgabe)
DOI:
10.1007/978-3-540-74113-8

Zusatz-Informationen

Zusatz-Funktionen