pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: VDM '87, VDM, A FORMAL METHOD AT WORK
VDM-EUROPE SYMPOSIUM 1987, BRUSSELS, BELGIUM, MARCH 23-26, 1987, PROCEEDINGS
By: Dines Bjorner (Editor), Cliff Jones (Editor), Michael Mac An Airchinnigh (Editor)
Format: Paperback

List price: £78.50


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 3540176543
ISBN 13: 9783540176541
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 11 March, 1987
Edition: 1987 ed.
Series: Lecture Notes in Computer Science v. 252
Pages: 433
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
ABSTRACT SOFTWARE SPECIFICATIONS (PB)
ADVERGAMING DEVELOPER'S GUIDE
BALTIC COMPUTER SCIENCE (PB)
CLIFF JONES (HB)
DOMAIN SCIENCE AND ENGINEERING
DOMAIN SCIENCE AND ENGINEERING (HB)
FM 2014: FORMAL METHODS (PB)
FORMAL METHODS IN PROGRAMMING AND THEIR APPLICATIONS (PB)
LOGICS OF SPECIFICATION LANGUAGES (HB)
LOGICS OF SPECIFICATION LANGUAGES (PB)
LUST FOR LIFE (HB)
NORVIS
OBJECT ORIENTATION WITH PARALLELISM AND PERSISTENCE (HB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
PERSPECTIVES OF SYSTEM INFORMATICS (PB)
REFLECTIONS ON THE WORK OF C.A.R. HOARE (PB)
RIGOROUS DEVELOPMENT OF COMPLEX FAULT-TOLERANT SYSTEMS (PB)
SOFTWARE ENGINEERING 1 (HB)
SOFTWARE ENGINEERING 1 (PB)
SOFTWARE ENGINEERING 2 (HB)
SOFTWARE ENGINEERING 2 (PB)
SOFTWARE ENGINEERING 3 (HB)
SOFTWARE ENGINEERING 3 (PB)
STRUCTURE FOR DEPENDABILITY (PB)
THE VIENNA DEVELOPMENT METHOD (PB)
TOWARDS A FORMAL DESCRIPTION OF ADA (PB)
V.D.M.AND Z. (PB)
WINNING THROUGH INTEGRITY (PB)

TOP SELLERS IN THIS CATEGORY
Clean Code (Paperback)
Pearson Education (US)
Our Price : £35.09
more details
Designing Data-Intensive Applications (Paperback)
O'Reilly Media, Inc, USA
Our Price : £35.03
more details
Domain-driven Design (Hardback)
Pearson Education (US)
Our Price : £49.94
more details
Clean Architecture (Paperback)
Pearson Education (US)
Our Price : £25.19
more details
Agile Project Management with Kanban (Paperback)
Microsoft Press,U.S.
Our Price : £21.44
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming
 software engineering


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
Ramadan and Eid al-Fitr A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
add to basket

Learning
That''s My Story!: Drama for Confidence, Communication and C... The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
add to basket