Anzahl Produkte: 13
Lecture Notes in Computer Science
Professionelle Anwendung
Prozedurale Programmierung
Formal Development of Reactive Systems
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-58867-2 (Buch)
- Erscheinungstermin: 26.01.1995
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
FM'99 - Formal Methods
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-66587-8 (Buch)
- Erscheinungstermin: 13.09.1999
-
Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
Theoretical and Practical Aspects of SPIN Model Checking
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-66499-4 (Buch)
- Erscheinungstermin: 08.09.1999
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Software Language Engineering
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-642-00433-9 (Buch)
- Erscheinungstermin: 02.04.2009
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Automated Technology for Verification and Analysis
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-75595-1 (Buch)
- Erscheinungstermin: 09.10.2007
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-42556-4 (Buch)
- Erscheinungstermin: 29.08.2001
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Attribute Grammars, Applications and Systems
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer Berlin Heidelberg
- ISBN: 978-3-540-54572-9 (Buch)
- Erscheinungstermin: 23.10.1991
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Automated Technology for Verification and Analysis
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-29209-8 (Buch)
- Erscheinungstermin: 19.09.2005
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Model Checking Software
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-43477-1 (Buch)
- Erscheinungstermin: 27.03.2002
-
Lieferzeit ca. 10 Werktage
53,49 € (inkl. MwSt.)
49,99 € (zzgl. MwSt.)
Automated Technology for Verification and Analysis
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- Verlag: Springer
- ISBN: 978-3-540-23610-8 (Buch)
- Erscheinungstermin: 19.10.2004
-
Lieferzeit ca. 10 Werktage
106,99 € (inkl. MwSt.)
99,99 € (zzgl. MwSt.)
- |
- 1