LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 GLS-Kurier 4.99 GLS-Kurier 4.99 DPD-Kurier 3.99 DPD-Stelle 2.99

Verification: Theory and Practice

Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Sprache EnglischEnglisch
Buch Broschur
Buch Verification: Theory and Practice Nachum Dershowitz
Libristo-Code: 01559051
Verlag Springer, Berlin, November 2003
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birt... Vollständige Beschreibung
? points 263 b
107.29 inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht


Kunden kauften auch


Les industries métallurgique T3 REDON / Buch Broschur
common.buy 37.99
LA PELUSA DE DEBAJO DE MI CAMA Hernández / Buch Buch
common.buy 18.79
Säggs'sch - Fast vergessen Gunter Böhnke / Buch Hardcover
common.buy 6.99
100 CONTEMPORARY WOOD BUILDINGS JODIDIO / Buch Hardcover
common.buy 70.39
Zauberwelten, 1 DVD Ehrlich Brothers / Video DVD
common.buy 14.99
Platons Totenbuch Holger Kalweit / Buch Broschur
common.buy 23.89
Reconectar con el Alma Dra Gabriella Kortsch / Buch Broschur
common.buy 14.49
Bar de La Mer Jacques Almira / Buch Broschur
common.buy 11.79
Klinisch-therapeutische Soziale Arbeit Ute-Antonia Lammel / Buch Broschur
common.buy 20.89
Supply Chain Spuren im Schnee Thomas Ziegler / Buch Broschur
common.buy 62.29
Kulturpolitik und Theater Philipp Ther / Buch Broschur
common.buy 60.49

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren


Code of Honor Harold Coyle / Buch Broschur
common.buy 21.29
Knowing the Ways of God John C Fenn / Buch Broschur
common.buy 12.59
WISHYPOOFS & HICCUPS Marion Lindsay / Buch Broschur
common.buy 6.59
GECCO 14 Genetic and Evolutionery Computation Conference Vol 2 Gecco 14 Conference Committee / Buch Broschur
common.buy 204.89
Dad Is the Best! Joshua D Hunt / Buch Broschur
common.buy 36.39
Southern Storm Zondervan / Buch Broschur
common.buy 10.19
Mongrel Hoyt Silva / Buch Broschur
common.buy 10.09
Selling Solar Damian Miller / Buch Hardcover
common.buy 274.79
Backroads and Byways of Indian Country Teresa Bitler / Buch Broschur
common.buy 29.69
Deciphering Data Architectures James Serra / Buch Broschur
common.buy 62.89
VLSI-SoC: From Systems to Silicon Ricardo Reis / Buch Hardcover
common.buy 118.29

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?