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 :-(

Symbolic Model Checking

Name: Symbolic Model Checking
Brand: Kluwer Academic Publishers
SKU: 42163944
Price: 106.69 EUR
Availability: InStock
Author: Kenneth L. McMillan
ISBN: 9780792393801

Kenneth L. McMillan

Sprache

Englisch

Buch Hardcover

Libristo-Code: 42163944

Verlag Kluwer Academic Publishers, Juli 1993

Formal verification means having a mathematical model of a system, a language for specifying desired... Vollständige Beschreibung

Libristo-Code: 42163944

261 b

106.69 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Sputnik Christian Berkel

Audio CD

28.00 €

Schau genau, per St Spiel/Spielzeug

Spiel

19.79 €

Das Fachbuch zum Taschenrechner Rebell SC2060S

Broschur

14.95 €

Necromáquina ROSSANA REGUILLO

Broschur

25.49 €

Cycle de l'Atlantide, tome 1 Ariel Riseln

Broschur

21.59 €

Raíces Eclesiásticas en la Génesis Evolutiva de la Universidad Española Panizo y Romo de Arce

Broschur

33.29 €

TESTIGO DE RADIO JUAN DE DIOS RODRIGUEZ

Broschur

30.69 €

Vous et votre voiture

Broschur

40.19 €

Polacy w służbie Moskali Chwalba Andrzej

Broschur

32.89 €

Die Schlaf Und Traumzustande Der Menschlichen Seele (1882) Heinrich Spitta

Broschur

39.69 €

Malbuch für Geist & Seele Dana Zimmermann

Broschur

9.59 €

Introdução à Química dos Alimentos Paulo Figueiredo

Broschur

39.19 €

Al-qutayrat al-bayda B2, lengua árabe José David . . . [et al. ] Aguilar Cobos

Broschur

15.89 €

Breve diccionario etimológico de la lengua castellana JOAN COROMINES

Broschur

53.69 €

Jenny Fanny Lewald

Broschur

17.90 €

Yoga-Anatomie 3D Ray Long

Broschur

24.99 €

Lucius Annaeus Seneca: Epistulae Morales Ad Lucilium / Briefe an Lucilius. Band I eneca

Hardcover

69.95 €

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. Whe

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 Symbolic Model Checking

Autor Kenneth L. McMillan

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1993

Anzahl der Seiten 194

EAN 9780792393801

ISBN 0792393805

Libristo-Code 42163944

Verlag Kluwer Academic Publishers

Gewicht 426

Abmessungen 179 x 229 x 18

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)

EDV und Informationstechnologie > Informatik

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