Institution Morphisms
Häftad, Engelska, 2013
349 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2013-08-02
- Mått189 x 246 x 2 mm
- Vikt86 g
- FormatHäftad
- SpråkEngelska
- Antal sidor38
- FörlagBibliogov
- ISBN9781287275893
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Häftad, 2006
749 kr
Del 13244
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman, Grigore Rosu
Häftad, 2022
599 kr
Del 13255
Del 13243
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman, Grigore Rosu
Häftad, 2022
599 kr
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
Häftad, 2010
749 kr