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
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 €
phone Kontakt phoneWie einkaufen

Automatic Verification of Sequential Infinite-State Processes

Sprache EnglischEnglisch
Buch Broschur
Buch Automatic Verification of Sequential Infinite-State Processes Burkart
Libristo-Code: 06615459
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 1997
This monograph provides information for theoreticians interested in algebraic theories, as well as f... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Die Ursache Der Zusatzlichen Eisenverluste in Umlaufenden Glatten Ringankern Julius Wild / Buch Broschur
common.buy 55.29 €
Genie venge, poeme GUYETAND-C-M / Buch Broschur
common.buy 14.19 €
Cachoeiro de Itapemirim: seus cantos, encantos e contrapontos Roberto Carlos F. de Oliveira / Buch Broschur
common.buy 37.29 €
EL JARD¡N DE LOS ABRAZOS JOSE ANTONIO LUENGO LATORRE / Buch Hardcover
common.buy 19.19 €
Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 4 Sans Auteur / Buch Broschur
common.buy 30.19 €
Andare per la Sicilia dei greci Franco La Cecla / Buch Broschur
common.buy 14.69 €
L'influence du stress chez l'Infirmier Sapeur Pompiers en intervention Sokesara Tea / Buch Broschur
common.buy 27.19 €
Die Reiniger Henk Wester / Buch Broschur
common.buy 19.19 €
Agenda 21 Local Et Sig Didier Jean Yemba / Buch Broschur
common.buy 27.19 €
Der Reisende Ulrich Alexander Boschwitz / E-Book Adobe ePub DRM
common.buy 11.39 €
Spirit Island: Natur Erwacht (Erweiterung) / Spiel/Spielzeug Spiel
common.buy 49.99 €

This monograph provides information for theoreticians interested in algebraic theories, as well as for software engineers building practical tools. The author presents the theoretical foundations needed for the verification of reactive, sequential infinite-state systems.

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 Automatic Verification of Sequential Infinite-State Processes
Autor Burkart, O. (University of Dortmund, Germany)
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1997
Anzahl der Seiten 176
EAN 9783540639824
ISBN 9783540639824
Libristo-Code 06615459
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 284
Abmessungen 155 x 235 x 10

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Mathematik und Naturwissenschaften > Mathematik
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

12 Critical Things Your Family Needs to Know Mark Gavagan / Buch Broschur
common.buy 19.19 €
Diary of a Legal Drug Dealer Kay Carlson / Buch Broschur
common.buy 20.39 €
Blue Yonder Justine Davis Randers-Pehrson / Buch Broschur
common.buy 17.29 €
National Intelligencer Newspaper Abstracts Joan M Dixon / Buch Broschur
common.buy 50.49 €
Cyprus Robert Hamilton Lang / Buch Broschur
common.buy 32.09 €
Coexistence Danny Rittman / Buch Broschur
common.buy 14.29 €
Empty Nest Karen Stabiner / Buch Hardcover
common.buy 31.29 €
Media and the Transformation of Religion in South Asia Lawrence A. Babb / Buch Hardcover
common.buy 88.69 €
Companion to Modern Art Pam Meecham / Buch Hardcover
common.buy 212.99 €
Combinatorial Pattern Matching Alberto Apostolico / Buch Broschur
common.buy 53.79 €
U.S. History Activities: Interactive Learning Strategies and Enrichment Projects John Zola / Buch Broschur
common.buy 24.79 €
Gin and Gingerbread Elizabeth Jeffrey / Buch Broschur
common.buy 30.69 €
Darkest Star Jennifer L. Armentrout / Buch Broschur
common.buy 12.99 €
Damaged Bonds Michael Eigen / Buch Hardcover
common.buy 194.39 €
Three Men in a Boat K. Jerome / Buch Broschur
common.buy 18.59 €
Blippi: I Like That!: Blippi Coloring Book Editors of Studio Fun International / Buch Broschur
common.buy 4.99 €
American Tang Soo Do Federation System: Orang Belt Student Manual David Wilson / Buch Broschur
common.buy 29.49 €
Fundamentals of Statistical Inference Norbert Hirschauer / Buch Broschur
common.buy 61.89 €
Traffic Engineering Franco Callegati / Buch Hardcover
common.buy 38.19 €
Call Me Hank Hank Pennier / Buch Broschur
common.buy 38.99 €
Cambridge Introduction to the Old Norse-Icelandic Saga Margaret Clunies Ross / Buch Hardcover
common.buy 141.19 €
Top
How to Draw Scott Robertson / Buch Hardcover
common.buy 43.59 €
Shake Hands With The Devil Romeo Dallaire / Buch Broschur
common.buy 14.69 €
Between Slavery and Freedom Bill E. Lawson / Buch Broschur
common.buy 19.09 €

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?