Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Programmiersprachen / -werkzeuge / Frameworks

Fachgebiete anzeigen
Unfoldings
A Partial-Order Approach to Model Checking
von Javier Esparza; Keijo Heljanko
eBook Download (PDF)
2008 | Springer Berlin
ISBN: 9783540774266
96,29 €
(CHF 93,95) (inkl. MwSt)
  • Download sofort lieferbar
Logical Analysis of Hybrid Systems
Proving Theorems for Complex Dynamics
von André Platzer
eBook Download (PDF)
2010 | Springer Berlin
ISBN: 9783642145094
96,29 €
(CHF 93,95) (inkl. MwSt)
  • Download sofort lieferbar
A Theory of Distributed Objects
Asynchrony - Mobility - Groups - Components
von Denis Caromel; Ludovic Henrio
eBook Download (PDF)
2005 | Springer Berlin
ISBN: 9783540272458
96,29 €
(CHF 93,95) (inkl. MwSt)
  • Download sofort lieferbar