All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
Springer-Verlag
Filter Results
Showing 6 Results in All Departments
Relevance
Compositionality: The Significant Difference - International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures (Paperback, 1998 ed.)
R
3,289
Add to Cart
Ships in 10 - 15 working days
Formal Methods for Industrial Applications - Specifying and Programming the Steam Boiler Control (Paperback, 1996 ed.)
R
3,030
Add to Cart
Ships in 10 - 15 working days
Formal Techniques in Real-Time and Fault-Tolerant Systems - Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lubeck, Germany, September 19 - 23, 1994. Proceedings (Paperback, 1994 ed.)
R
3,383
Add to Cart
Ships in 10 - 15 working days
VDM '90. VDM and Z - Formal Methods in Software Development - Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Paperback, 1990 ed.)
R
1,851
Add to Cart
Ships in 10 - 15 working days
LOGLAN '88 - Report on the Programming Language (Paperback, 1990 ed.)
Antoni Kreczmar
,
Andrzej Salwicki
,
Marek Warpechowski
R
1,564
Add to Cart
Ships in 10 - 15 working days
1. Fachtagung Uber Programmiersprachen (German, Paperback)
R
1,652
Add to Cart
Ships in 10 - 15 working days