The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Klaus-DieterSchewe Books

Results for Klaus-DieterSchewe

Showing 1 to 5 of 5 results
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings: 9675 (Lecture Notes in Computer Science) Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings: 9675 (Lecture Notes in Computer Science) by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings: 9675 (Lecture Notes in Computer Science)

by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro


ISBN 13: 9783319335995

Format: Paperback (448 pages)
Publisher: Springer
Published: 23 May 2016

Save for later

 
New : $54.89  
New : $54.89
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science) Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science) by Yamine Ait Ameur, Klaus-Dieter Schewe

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science)

by Yamine Ait Ameur, Klaus-Dieter Schewe


ISBN 13: 9783662436516

Format: Paperback (352 pages)
Publisher: Springer
Published: 21 May 2014

Save for later

 
New : $54.80  
New : $54.80
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science) ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science) by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe

ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... in Computer and Information Science)

by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe


ISBN 13: 9783319075112

Format: Paperback (176 pages)
Publisher: Springer
Published: 26 May 2014

Save for later

 
New : $54.54  
New : $54.54
Semantics in Data and Knowledge Bases: 5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers: 7693 (Lecture Notes in Computer Science) Semantics in Data and Knowledge Bases: 5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers: 7693 (Lecture Notes in Computer Science) by Klaus-Dieter Schewe, Bernhard Thalheim

Semantics in Data and Knowledge Bases: 5th International Workshop SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers: 7693 (Lecture Notes in Computer Science)

by Klaus-Dieter Schewe, Bernhard Thalheim


ISBN 13: 9783642360077

Format: Paperback (212 pages)
Publisher: Springer
Published: 08 Jan 2013

Save for later

 
New : $48.95  
New : $48.95
Correct Software in Web Applications and Web Services (Texts & Monographs in Symbolic Computation) Correct Software in Web Applications and Web Services (Texts & Monographs in Symbolic Computation) by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger

Correct Software in Web Applications and Web Services (Texts & Monographs in Symbolic Computation)

by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger


ISBN 13: 9783319347271

Format: Paperback (348 pages)
Publisher: Springer
Published: 09 Oct 2016

Save for later

 
New : $54.80  
New : $54.80