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 Nature Switzerland AG
Springer-Verlag
Filter Results
Showing 18 of 18 Results in All Departments
Relevance
Software Engineering 3 - Domains, Requirements, and Software Design (Hardcover, 2006)
Dines Bjorner
R
3,196
Add to Cart
Ships in 10 - 15 working days
Software Engineering 1 - Abstraction and Modelling (Hardcover, 2006 ed.)
Dines Bjorner
List Price
R
3,441
R
3,351
Add to Cart
Ships in 12 - 17 working days
SAVE
R
1,527
Logics of Specification Languages (Hardcover, 2008 ed.)
List Price
R
6,120
R
4,593
Add to Cart
Ships in 12 - 17 working days
Software Engineering 2 - Specification of Systems and Languages (Hardcover, 2006 ed.)
Dines Bjorner
R
1,707
Add to Cart
Ships in 12 - 17 working days
Domain Science and Engineering - A Foundation for Software Development (Hardcover, 1st ed. 2021)
Dines Bjorner
R
4,303
Add to Cart
Ships in 12 - 17 working days
Logics of Specification Languages (Paperback, Softcover reprint of hardcover 1st ed. 2008)
R
4,668
Add to Cart
Ships in 10 - 15 working days
Software Engineering 2 - Specification of Systems and Languages (Paperback, Softcover reprint of hardcover 1st ed. 2006)
Dines Bjorner
R
1,741
Add to Cart
Ships in 10 - 15 working days
Software Engineering 3 - Domains, Requirements, and Software Design (Paperback, 2006)
Dines Bjorner
R
3,421
Add to Cart
Ships in 10 - 15 working days
Software Engineering 1 - Abstraction and Modelling (Paperback, Softcover reprint of hardcover 1st ed. 2006)
Dines Bjorner
R
2,890
Add to Cart
Ships in 10 - 15 working days
Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers (Paperback, 2001 ed.)
R
1,853
Add to Cart
Ships in 10 - 15 working days
Perspectives of System Informatics - Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings (Paperback, 2000 ed.)
R
3,085
Add to Cart
Ships in 10 - 15 working days
Perspectives of System Informatics - Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings (Paperback, 1996 ed.)
R
1,792
Add to Cart
Ships in 10 - 15 working days
Formal Methods in Programming and Their Applications - International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings (Paperback, 1993 ed.)
R
1,779
Add to Cart
Ships in 10 - 15 working days
Baltic Computer Science - Selected Papers (Paperback, 1991 ed.)
R
3,319
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
VDM '87. VDM - A Formal Method at Work - VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings (Paperback, 1987 ed.)
R
1,768
Add to Cart
Ships in 10 - 15 working days
Towards a Formal Description of Ada (Paperback, 1980 ed.)
R
3,330
Add to Cart
Ships in 10 - 15 working days
Domain Science and Engineering - A Foundation for Software Development (Paperback, 1st ed. 2021)
Dines Bjorner
R
5,406
Add to Cart
Ships in 10 - 15 working days