Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

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 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Verification: Theory and Practice

Name: Verification: Theory and Practice
Brand: Springer, Berlin
SKU: 01559051
Price: 107.29 EUR
Availability: InStock
Author: Nachum Dershowitz
ISBN: 9783540210023

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

Nachum Dershowitz

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01559051

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

Broschur

37.99 €

LA PELUSA DE DEBAJO DE MI CAMA Hernández

Buch

18.79 €

Säggs'sch - Fast vergessen Gunter Böhnke

Hardcover

6.99 €

100 CONTEMPORARY WOOD BUILDINGS JODIDIO

Hardcover

70.39 €

Oeuvres de Froissart: Table Analytique Des Noms Historiques... Jean Froissart

Broschur

32.79 €

Zauberwelten, 1 DVD Ehrlich Brothers

DVD

14.99 €

Platons Totenbuch Holger Kalweit

Broschur

23.89 €

Kleuren is leuk - Kerstmis - Volume 1: Het is tijd om Kerstmis te vieren! Sonia Vrambout

Broschur

7.99 €

Reconectar con el Alma Dra Gabriella Kortsch

Broschur

14.49 €

Bar de La Mer Jacques Almira

Broschur

11.79 €

Oeuvres Posthumes de Auguste Barbier, Nouvelles Etudes Litteraires Et Artistiques Auguste Barbier

Broschur

26.09 €

Klinisch-therapeutische Soziale Arbeit Ute-Antonia Lammel

Broschur

20.89 €

Das Recht des Bürgers auf behördliche Auskunft. Kai Krieger

Broschur

69.90 €

Supply Chain Spuren im Schnee Thomas Ziegler

Broschur

62.29 €

Foerderung des geometrischen Denk- und Vorstellungsvermoegens Benjamin Gill

Broschur

58.00 €

Kulturpolitik und Theater Philipp Ther

Broschur

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

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verification: Theory and Practice

Autor Nachum Dershowitz

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2004

Anzahl der Seiten 788

EAN 9783540210023

ISBN 3540210024

Libristo-Code 01559051

Verlag Springer, Berlin

Gewicht 988

Abmessungen 156 x 234 x 40

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

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