Wir verwenden Cookies, die für die ordnungsgemäße Bereitstellung unseres Webseitenangebots zwingend erforderlich sind. Mit Klick auf "Einverstanden" setzen wir zusätzlich Cookies und Dienste von Drittanbietern ein, um unser Angebot durch Analyse des Nutzungsverhaltens zu optimieren, um Nutzungsprofile zu erstellen, interessenbezogene Werbung anzuzeigen, sowie die Webseiten-Performance zu verbessern. Ihre Einwilligung können Sie jederzeit durch erneuten Aufruf dieses Cookie-Banners am Ende der Webseite widerrufen. Weitere Informationen und Einzelheiten finden Sie in der Datenschutzerklärung.
Einverstanden
Nur funktionale Cookies

Temporal Logic and State Systems

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 

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...
Jetzt vorbestellen
versandkostenfrei

Bestellnummer: 11242079

Buch 74.89
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Jetzt vorbestellen
versandkostenfrei

Bestellnummer: 11242079

Buch 74.89
Jetzt vorbestellen

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...
Andere Kunden interessierten sich auch für

Temporal Logic and State Systems / Springer

Fred Kröger, Stephan Merz

0 Sterne
eBook

Statt 74.89 19

60.98

Download bestellen
Erschienen am 12.03.2008
sofort als Download lieferbar

Formale Sprachen, abstrakte Automaten und Compiler

Christian Wagenknecht, Michael Hielscher

0 Sterne
Buch

32.99

Vorbestellen
Erschienen am 24.02.2015
Jetzt vorbestellen

Übersetzerbau

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

0 Sterne
Buch

29.99

Vorbestellen
Erschienen am 16.12.2012
Jetzt vorbestellen
Buch

129.99

In den Warenkorb
Erschienen am 18.06.1997
lieferbar
Buch

139.09

Vorbestellen
Erschienen am 22.06.1988
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 20.08.1997
Jetzt vorbestellen
Buch

80.24

Vorbestellen
Erschienen am 25.08.1999
Jetzt vorbestellen
Buch

96.29

Vorbestellen
Erschienen am 22.03.1995
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 14.05.1997
Jetzt vorbestellen
Buch

93.08

In den Warenkorb
Erschienen am 16.06.1999
lieferbar
Buch

85.59

Vorbestellen
Erschienen am 11.03.1998
Jetzt vorbestellen
Buch

96.29

Vorbestellen
Erschienen am 09.04.1997
Jetzt vorbestellen
Buch

85.59

Vorbestellen
Erschienen am 28.07.1994
Jetzt vorbestellen
Buch

117.69

Vorbestellen
Erschienen am 26.01.2000
Jetzt vorbestellen
Buch

64.19

Vorbestellen
Erschienen am 18.06.1997
Jetzt vorbestellen

Computer Science Logic

Jerzy Marcinkowski, Andrzej Tarlecki

0 Sterne
Buch

106.99

Vorbestellen
Erschienen am 02.09.2004
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 15.06.2004
Jetzt vorbestellen
Buch

96.29

Vorbestellen
Erschienen am 11.10.1989
Jetzt vorbestellen
Buch

208.64

Vorbestellen
Erschienen am 07.07.2006
Jetzt vorbestellen
Mehr Bücher des Autors

Temporal Logic and State Systems / Springer

Fred Kröger, Stephan Merz

0 Sterne
eBook

Statt 74.89 19

60.98

Download bestellen
Erschienen am 12.03.2008
sofort als Download lieferbar
Kommentar zu "Temporal Logic and State Systems"
Andere Kunden kauften auch

Formale Sprachen, abstrakte Automaten und Compiler

Christian Wagenknecht, Michael Hielscher

0 Sterne
Buch

32.99

Vorbestellen
Erschienen am 24.02.2015
Jetzt vorbestellen

Übersetzerbau

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

0 Sterne
Buch

29.99

Vorbestellen
Erschienen am 16.12.2012
Jetzt vorbestellen
Buch

129.99

In den Warenkorb
Erschienen am 18.06.1997
lieferbar
Buch

139.09

Vorbestellen
Erschienen am 22.06.1988
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 20.08.1997
Jetzt vorbestellen
Buch

80.24

Vorbestellen
Erschienen am 25.08.1999
Jetzt vorbestellen
Buch

96.29

Vorbestellen
Erschienen am 22.03.1995
Jetzt vorbestellen
Buch

74.89

Vorbestellen
Erschienen am 14.05.1997
Jetzt vorbestellen
Buch

93.08

In den Warenkorb
Erschienen am 16.06.1999
lieferbar
Buch

85.59

Vorbestellen
Erschienen am 11.03.1998
Jetzt vorbestellen
Buch

96.29

Vorbestellen
Erschienen am 09.04.1997
Jetzt vorbestellen
Buch

85.59

Vorbestellen
Erschienen am 28.07.1994
Jetzt vorbestellen
Buch

117.69

Vorbestellen
Erschienen am 26.01.2000
Jetzt vorbestellen
Buch

64.19

Vorbestellen
Erschienen am 18.06.1997
Jetzt vorbestellen

Computer Science Logic

Jerzy Marcinkowski, Andrzej Tarlecki

0 Sterne
Buch

106.99

Vorbestellen
Erschienen am 02.09.2004
Jetzt vorbestellen
Buch

93.08

Vorbestellen
Erschienen am 15.06.2004
Jetzt vorbestellen
Buch

96.29

Vorbestellen
Erschienen am 11.10.1989
Jetzt vorbestellen
Buch

208.64

Vorbestellen
Erschienen am 07.07.2006
Jetzt vorbestellen
Weitere Empfehlungen zu „Temporal Logic and State Systems “
0 Gebrauchte Artikel zu „Temporal Logic and State Systems“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich