Herausgegeben von: Jim Woodcock
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Jim Woodcock.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
-15.6 %
CHF 59.07
2
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday
-17.1 %
CHF 58.–
3
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Formal Methods and Hybrid Real-Time Systems
Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
-17.1 %
CHF 58.–
4
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Domain Modeling and the Duration Calculus
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
-17.1 %
CHF 58.–
5
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Theoretical Aspects of Computing -- ICTAC 2013
10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
-17.1 %
CHF 58.–
6
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Unifying Theories of Programming and Formal Engineering Methods
International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
-17.1 %
CHF 58.–