Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
₹5,598
Software Engineering 2
Specification of Systems and Languages
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2006 · Hardcover
₹2,687
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Software Engineering 2: Specification of Systems and Languages by Dines Bjørner is a 780-page hardcover edition published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2006.
The book deals with Logic design, Computer science, Software engineering and Informatique.
Book details
- ISBN-13
- 9783540211501
- ISBN-10
- 3540211500
- Author
- Dines Bjørner
- Published
- 2006
- Edition
- 2006 ed.
- Binding
- Hardcover
- Pages
- 780
- Language
- English
- Condition
- New
- Subject
- Textbooks & Study Guides
More by Dines Bjørner and related titles
VDM '87. VDM - A Formal Method at Work
Dines Bjørner, Cliff Jones, Michael Mac an Airchinnigh
₹5,591
Domain Science and Engineering
Dines Bjrner
₹13,598
Software Engineering 1
Dines Bjørner
₹5,159
Existential Psychology East-West
Louis Hoffman, Mark Yang, Monica Mansilla, Jason Dias, Michael Moats, Trent Claypool
₹3,444
Making Sense of Reality
Tia Denora
₹16,566
Annals of Life Insurance Medicine
Eugene V.Higgins, Heinrich Jecklin
₹10,094
Firewalls Don't Stop Dragons
Carey Parker
₹3,000
GI Epidemiology
Nicholas Joseph Talley, Paul Moayyedi, Alexander C. Ford
₹8,917
Managing Gastrointestinal Complications of Diabetes
Joseph Sellin
₹5,100
Artistic Inquiry in Dance/Movement Therapy
Lenore Wadsworth Hervey
₹3,473
Social Theory
John Scott
₹4,523