Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking von Marc Diefenbruch | ISBN 9783897220331

Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking

von Marc Diefenbruch
Buchcover Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking | Marc Diefenbruch | EAN 9783897220331 | ISBN 3-89722-033-4 | ISBN 978-3-89722-033-1

Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking

von Marc Diefenbruch

ISBN-Daten

Archivierter Titel, da nicht lieferbar.×
Einband - flex.(Paperback)
 
Softcover
356 Seiten
Erscheinungsjahr
1997
Rubrik
Informatik
ISBN-10
3-89722-033-4
Abmessungen
20,5 x 14,5 cm
Lieferstatus
nicht verfügbar
Preis
40,00 €*
Buch kaufen

Lokal-Verfügbarkeit

 
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)

Ankaufspreise

Ankaufspreise ermitteln
Veranstaltung eintragen