Institution Morphisms
Häftad, Engelska, 2013
329 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
729 kr
Del 13244
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman, Grigore Rosu
Häftad
579 kr
Del 13255
Del 13243
Tools and Algorithms for the Construction and Analysis of Systems
Dana Fisman, Grigore Rosu
Häftad
579 kr
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
Häftad
729 kr