All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
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 of 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,336
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,076
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,429
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,874
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,588
Add to Cart
Ships in 10 - 15 working days
1. Fachtagung Uber Programmiersprachen (German, Paperback)
R
1,677
Add to Cart
Ships in 10 - 15 working days