Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First EEF/Euro Summer School on ... Notes in Computer Science, 2090, Band 2090)

Wo zu kaufen (1) Eigenschaften
Gesponsert
Lectures on Formal Methods and Performance Analysis
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 30-04-2026 00:32:07
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 3540424792
MPN
Springer Berlin Heidelberg Illustrations

Eigenschaften

Ähnliche Produkte

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised ... Notes in Computer Science, 5902, Band 5902)
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised ... Notes in Computer Science, 5902, Band 5902)
Produkt anzeigen
Formal Methods for Dynamical Systems
Formal Methods for Dynamical Systems
Produkt anzeigen
Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
Produkt anzeigen
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Lecture Notes in Computer Science, Band 11865)
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Lecture Notes in Computer Science, Band 11865)
Produkt anzeigen
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development
Produkt anzeigen
Lectures on Formal Methods and Performance Analysis
Lectures on Formal Methods and Performance Analysis
Produkt anzeigen
Menü