Preis von
41.52 EUR
41.52 EUR
Verifying Concurrent Processes Using Temporal Logic
Springer Berlin Heidelberg (9783540112051 / 6909291)
Geschäfte, in denen Sie dieses Produkt kaufen können
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
GesponsertVerifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)
Günstigstes Angebot
preigu.de
SpringerLink DE
| Dieses Produkt im Comparor | |
|---|---|
|
Kategorie
Dieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
|
- Bücher über Programmierung und Softwareentwicklung - Ingenieurbücher - Informatik - Software-Design & Entwicklung |
|
International
Finden Sie dieses Produkt in einem unserer internationalen Geschäfte
|
Dieses Produkt wurde in anderen Ländern nicht gefunden
|
| Farben
Vorherrschende Farben des Produkts |
|
| Bezeichner | |
| Marke |  Springer Berlin Heidelberg ist eine Marke von Springer Science+Business Media, einem weltweit führenden Verlag für Wissenschaft und Medien. Das Unternehmen hat seinen Hauptsitz in Berlin und betreibt Niederlassungen in Heidelberg, London, Madrid, New York, Paris und Wien. Springer Berlin Heidelberg publiziert mehr als 2.000 Zeitschriften und über 10.000 neue Bücher pro Jahr. Das Verlagsprogramm umfasst sowohl wissenschaftliche als auch populärwissenschaftliche Titel. |
| ISBN | Springer Berlin Heidelberg 3540112057 |
| MPN | Springer Berlin Heidelberg 6909291 |
| ID | 13100258 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Related zusammenhängen
Springer-Verlag GmbH (9783319205526 / biography) | Verifying Calculations, Forty Years
(9783865411426) - Maße: 175 x 250 mm | And the, Class diagrams, And OCL constraints, And constraints, The theorem prover, Theorem prover, Type system is, Compositional reasoning is, Compositional Specifications & Compositional reasoning
(9783639077889) | And Verifying Web Services
(9783865411426) - Maße: 175 x 250 mm | And the, Class diagrams, And OCL constraints, And constraints, The theorem prover, Theorem prover, Type system is, Compositional reasoning is, Compositional Specifications & Compositional reasoning