Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Computer-aided Verification

Sprache EnglischEnglisch
Buch Hardcover
Buch Computer-aided Verification American Mathem American Mathem
Libristo-Code: 06319043
Verlag American Mathematical Society, Juni 1991
Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Ru... Vollständige Beschreibung
? points 373 b
152.59 € inkl. MwSt.
50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Zeis Mati Blum / Buch Broschur
common.buy 13.19 €
Dalajlamova kočka Zákon kočičí přitažlivosti David Michie / Buch Hardcover
common.buy 7.39 €
Demnächst
Sluší mi tento list, Adame? Ladislav Jílek / Buch Broschur
common.buy 2.89 €
Nuvole Bianche Nessa 19971995 / Buch Broschur
common.buy 12.49 €
Total f*cking godhead. La biografia di Chris Cornell Corbin Reiff / Buch Broschur
common.buy 34.09 €
the coil of a snake CHRISTELLE / Buch Broschur
common.buy 46.89 €
Les plantes ? Couplan / Buch Broschur
common.buy 19.49 €
La Communication En Milieu Hospitalier Nzabamwita-V / Buch Broschur
common.buy 49.29 €
Logarithmischen Potentiales Axel Harnack / Buch Broschur
common.buy 22.29 €
Demnächst
Poslední film Zuzany Bergové Jan Jandourek / Buch Broschur
common.buy 7.39 €
Ciudadanos : sed realistas, decid lo indecible Félix de Azúa / Buch Broschur
common.buy 24.39 €
Confidencias y confesiones José María de Llanos / Buch Broschur
common.buy 12.49 €
ActionScript 3.0 para desarrolladores : programación orientada a objetos y buenas prácticas Alberto Ezequiel Kashi / Buch Broschur
common.buy 21.59 €

Contains the proceedings of the second workshop on Computer-Aided Verification, held at DIMACS at Rutgers University in June 1990. This work focuses on the problem of making formal verification feasible for various models of computation. It emphasizes on models associated with distributed programs, protocols and digital circuits.

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.

Informationen zum Buch

Vollständiger Name Computer-aided Verification
Autor American Mathem American Mathem
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 1991
EAN 9780821865941
ISBN 9780821865941
Libristo-Code 06319043
Verlag American Mathematical Society
Gewicht 666

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Algebra
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

Das könnte Sie auch interessieren

Integrative Cardiovascular Chinese Medicine Anika Al-Shura / Buch Hardcover
common.buy 101.69 €
Crystal Path Georgina Easterbrook / Buch Hardcover
common.buy 17.89 €
Korean War Korea Institute of Military History / Buch Broschur
common.buy 41.09 €
Moo-Cow Kung-Fu-Cow Nick Sharratt / Buch Leporello
common.buy 5.69 €
Overcoming Sorrow: Poems in English and Russian Adolf Shvedchikov / Buch Broschur
common.buy 15.09 €
Hobby-horse Arthur W. Pinero / Buch Broschur
common.buy 15.99 €
Communist Party of Great Britain and the National Question in Wales, 1920-1991 Douglas Jones / Buch Hardcover
common.buy 103.59 €
Your Star Child: Attracting, Birthing and Parenting an Evolved Soul Mary M. Mayhew / Buch Broschur
common.buy 18.09 €
Leaving Jesus James Wood Jr / Buch Broschur
common.buy 14.39 €
Symbolic Immortality Sergei Kan / Buch Broschur
common.buy 45.09 €
It's Ryan's Ranch Joyce Marie / Buch Broschur
common.buy 12.69 €
Getting Started with Grails Rudolph / Buch Broschur
common.buy 15.39 €
Patterns of a Network Economy Börje Johansson / Buch Broschur
common.buy 97.89 €
150 Idees Recues Sur L'Histoir FL / Buch Broschur
common.buy 20.39 €
Assessment of Naval Hydromechanics, Science and Technology Committee for Naval Hydromechanics Science and Technology / Buch Broschur
common.buy 53.09 €
First World, Third World William Ryrie / Buch Hardcover
common.buy 97.89 €
Computer-aided Method Engineering Ajantha Dahanayake / Buch Hardcover
common.buy 70.69 €
Demnächst
Evaluation Findings for Taylor Devices Fluid Viscous Damper Highway Innovative Technology Evaluation / Buch Broschur
common.buy 55.19 €
Wild Oats Or The Strolling Gentlemen John O'Keeffe / Buch Hardcover
common.buy 49.49 €
Demnächst
Invention of the Moving Assembly Line Dennis Abrams / Buch Hardcover
common.buy 41.19 €
Responsible Management of Information Systems Stahl / Buch Hardcover
common.buy 75.29 €
Demnächst
Sculptured Thin Films Russell F. Messier / Buch Hardcover
common.buy 99.99 €

Anmeldung

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

 
obligatorisch
obligatorisch
Passwort vergessen

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?