- 5 Ergebnisse
Kleinster Preis: € 40,00, größter Preis: € 44,39, Mittelwert: € 40,88
1
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking - Marc Diefenbruch
Bestellen
bei amazon.de
€ 40,00
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Marc Diefenbruch:

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

ISBN: 3897220334

[SR: 8589274], Taschenbuch, [EAN: 9783897220331], Logos Berlin, Logos Berlin, Book, [PU: Logos Berlin], Logos Berlin, 124, Computer & Internet, 165930031, Datenbanken, 165948031, Grafik &… Mehr…

  - , Neuware Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00) Logos Verlag Berlin
zuklappen (X)
2
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking - Marc Diefenbruch
Bestellen
bei amazon.de
€ 40,00
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Marc Diefenbruch:

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

ISBN: 3897220334

[SR: 8541857], Taschenbuch, [EAN: 9783897220331], Logos Berlin, Logos Berlin, Book, [PU: Logos Berlin], Logos Berlin, 124, Computer & Internet, 165930031, Datenbanken, 165948031, Grafik &… Mehr…

  - , Neuware Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00) Logos Verlag Berlin
zuklappen (X)
3
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking - Marc Diefenbruch
Bestellen
bei amazon.de
€ 40,00
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Marc Diefenbruch:
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking - Taschenbuch

ISBN: 3897220334

[SR: 8938122], Taschenbuch, [EAN: 9783897220331], Logos Berlin, Logos Berlin, Book, [PU: Logos Berlin], Logos Berlin, 124, Computer & Internet, 165930031, Datenbanken, 165948031, Grafik &… Mehr…

  - Neuware. Versandkosten:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Gewöhnlich versandfertig in 24 Stunden. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Logos Verlag Berlin
zuklappen (X)
4
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking - Diefenbruch, Marc
Bestellen
bei amazon.de
€ 40,00
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Diefenbruch, Marc:
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking - Taschenbuch

1997, ISBN: 9783897220331

Logos Berlin, Taschenbuch, 356 Seiten, Publiziert: 1997T, Produktgruppe: Book, Verkaufsrang: 252543, Computer & Internet, Kategorien, Bücher, Logos Berlin, 1997

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Logos Verlag Berlin
zuklappen (X)
5
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking - Marc Diefenbruch
Bestellen
bei amazon.co.uk
£ 39,50
(ca. € 44,39)
Versand: € 5,391
Bestellen
Details beim Anbieter
gesponserter Link
Marc Diefenbruch:
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking - Taschenbuch

1998, ISBN: 9783897220331

Logos Verlag Berlin, Paperback, Publiziert: 1998-01-30T00:00:00.000Z, Produktgruppe: Book, Subjects, Books, Logos Verlag Berlin, 1998

Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.39) Logos Verlag Berlin
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
Autor:
Titel:
ISBN-Nummer:

3897220334

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


EAN (ISBN-13): 9783897220331
ISBN (ISBN-10): 3897220334
Taschenbuch
Erscheinungsjahr: 1997
Herausgeber: Logos Verlag Berlin

Buch in der Datenbank seit 2017-07-09T09:09:41+02:00 (Berlin)
Detailseite zuletzt geändert am 2020-09-02T12:10:22+02:00 (Berlin)
ISBN/EAN: 3897220334

ISBN - alternative Schreibweisen:
3-89722-033-4, 978-3-89722-033-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: quantitative analyse

Daten vom Verlag:

Autor/in: Marc Diefenbruch
Titel: Quantitative Analyse zeit- und ressourcenerweiterter SDL-Systeme mit Hilfe von Zustandsraumexploration und Model-Checking
Verlag: Logos Berlin
356 Seiten
Sprache: Deutsch
40,00 € (DE)
41,20 € (AT)
71,90 CHF (CH)
Not available (reason unspecified)

BC; PB; Hardcover, Softcover / Informatik, EDV/Informatik; Informatik; SDL; Spezifikation

< zum Archiv...