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 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Temporal Logic and State Systems

Sprache EnglischEnglisch
Buch Broschur
Buch Temporal Logic and State Systems Fred Kröger
Libristo-Code: 01653648
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2010
Temporal logic has developed over the last 30 years into a powerful formal setting for the specifica... Vollständige Beschreibung
? points 187 b
77.42 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Elektromotoren Fur Gleichstrom Gustav Roessler / Buch Broschur
common.buy 67.59 €
Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke / Buch Broschur
common.buy 131.74 €
Med Tilhörende Glossarium... Carl Rikard Unger / Buch Broschur
common.buy 22.29 €
Der Formalismus in Kant's Rechtsphilosophie (1902) Hermann Bargmann / Buch Hardcover
common.buy 35.26 €
La Callejuela del Oro Carlos González Rivera / Buch Hardcover
common.buy 9.01 €
Au Bonheur des Dames Émile Zola / Buch Broschur
common.buy 6.98 €
Grundlagen Der Steuerungstechnik Cihat Karaali / Buch Broschur
common.buy 37.89 €
ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby / Buch Broschur
common.buy 20.36 €
Wieso? Weshalb? Warum? junior, Band 28: Wenn es dunkel wird Constanza Droop / Buch Leporello
common.buy 11.95 €
Le Khedive Et Le Sultan, Etude Sur La Question Turco-Egyptienne Guillaumot-H / Buch Broschur
common.buy 13.77 €
Stowasser - Neubearbeitung Barbara Dowlasz / Buch Hardcover
common.buy 28.27 €
Tabellenhandbuch zur Ermittlung des Verkehrswerts und des Beleihungswerts von Grundstücken Wolfgang Kleiber / Buch Hardcover
common.buy 70.43 €
Sakana Michael Mario Frese / Buch Broschur
common.buy 31.31 €
Vom Notendrucker zum Rechtemakler Urs Pfeiffer / Buch Broschur
common.buy 27.56 €
Ferîdûn Bey Nicolas Vatin / Buch Broschur
common.buy 70.02 €

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. §All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

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 Temporal Logic and State Systems
Autor Fred Kröger, Stephan Merz
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2010
Anzahl der Seiten 436
EAN 9783642086809
ISBN 3642086802
Libristo-Code 01653648
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 682
Abmessungen 155 x 235 x 25

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
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 > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Knowing God Intimately (Revised) Joyce Meyer / Buch Broschur
common.buy 17.62 €
Mythic Astrology Kenneth Johnson / Buch Broschur
common.buy 31.20 €
The Spirit of the Liturgy Romano Guardini / Buch Broschur
common.buy 8.60 €
The Factory Mark West / Buch Broschur
common.buy 12.96 €
Mandala Teasers: Bite sized mandala portions for on the go! Miss Jade Elizabeth / Buch Broschur
common.buy 8.50 €
Reclaiming Civilization - A Case for Optimism for the Future of Humanity Brendan Myers / Buch Broschur
common.buy 17.83 €
Actors of Postnational Rule-Making Elaine Fahey / Buch Broschur
common.buy 55.93 €
Romans: Salvation for those who believe Schalk Bornman / Buch Broschur
common.buy 8.71 €
Making Good Habits, Breaking Bad Habits: 14 New Behaviors That Will Energize Your Life Joyce Meyer / Buch Hardcover
common.buy 30.09 €
With Gifted Thinkers Mark Manolopoulos / Buch Broschur
common.buy 96.78 €
Basic Human Rights and the Humanitarian Crises in Sub-Saharan Africa Gabriel Andrew Msoka / Buch Broschur
common.buy 30.29 €
Porky Deloris Kay Ward / Buch Hardcover
common.buy 21.58 €
Anxiolytics Mike Briley / Buch Hardcover
common.buy 114.71 €
Biochemistry of Vitamin B6 and PQQ F. Bossa / Buch Broschur
common.buy 51.78 €
Immigrants, Progressives, and Exclusion Politics Robert F. Zeidel / Buch Hardcover
common.buy 71.13 €
Horse and His Boy C S Lewis / Buch Broschur
common.buy 9.72 €
introduction to Roman-Dutch law Robert Warden Lee / Buch Broschur
common.buy 31.51 €
Amazing and True Story of Tooth Mouse Perez Herreros / Buch Hardcover
common.buy 16.31 €
Robert Frost Review Virginia Smith / Buch Broschur
common.buy 16.71 €
Psychology Express: Social Psychology Leanne Freeman / Buch Broschur
common.buy 29.79 €
One True Logic Griffiths / Buch Broschur
common.buy 41.34 €

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