Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Formal Specification

Techniques and Applications

Language EnglishEnglish
Book Paperback
Book Formal Specification Nimal Nissanke
Libristo code: 06798524
Publishers Springer, Berlin, July 1999
Formal Specification provides the reader with a practical and versatile approach to constructing pro... Full description
? points 122 b
50.58 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

?ric i l'Exèrcit del Fènix. Bertran Martínez / Book Paperback
common.buy 16.79 €
Top
Bully - Szívatás Douglas / Book Paperback
common.buy 12.84 €
Einführung in die Kunstpädagogik Georg Peez / Book Paperback
common.buy 27.51 €
fotovoltaico per tutti. Manuale pratico per esperti e meno esperti Francesco Groppi / Book Paperback
common.buy 29.63 €
Weil das Leben fragt Josef Hiebaum / Book Paperback
common.buy 21.44 €
Vadims Methode Vadim Tschenze / Book Paperback
common.buy 12.64 €
Rebecca Malcolm Jones / Book Paperback
common.buy 22.25 €
Neues Museum des Witzes und der Laune : eine humoristische Anthologie Ernst Ortlepp / Book Paperback
common.buy 15.57 €
Bola de Drac Definitiva nº 15/34 Akira Toriyama / Book Paperback
common.buy 13.75 €
Poste d'aiguillage Resplendino / Book Paperback
common.buy 17.19 €
Docteur, rendez-moi ma liberté - Euthanasie : un médecin belge témoigne... Yves de Locht / Book Paperback
common.buy 22.86 €
Festschrift Zur Feier Des 50 Jahrigen Bestehens Der Liebig-Realschule Zu Frankfurt A.Main Am 18. Juni 1905 Anonymous / Book Paperback
common.buy 21.24 €
Z deníku dočaskářky Ten pes je chuligán! Olga Minaříková / Book Hardback
common.buy 3.53 €
Unternehmensfuhrung im Handelsbetrieb Wolfgang Oehme / Book Paperback
common.buy 57.86 €
Grundlagen Des Operations Research 3 Tomas Gal / Book Hardback
common.buy 47.24 €
EL ORIGEN DE LOS OTROS TONI MORRISON / Book Hardback
common.buy 14.86 €
Fotografía para todos : más de 300 trucos y consejos de los grandes expertos AA. VV. / Book Paperback
common.buy 28.62 €

Formal Specification provides the reader with a practical and versatile approach to constructing program specifications. It includes both model-based (Z/VDM) and algebraic (CLEAR) paradigms of specification and emphasizes the range of languages and approaches available. Its main advantage over other specification books is that is offers an unrivaled breadth of coverage of the area, encompassing all the recent important advances.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Specification
Author Nimal Nissanke
Language English
Binding Book - Paperback
Date of issue 1999
Number of pages 295
EAN 9781852330026
ISBN 1852330023
Libristo code 06798524
Publishers Springer, Berlin
Weight 488
Dimensions 156 x 234 x 16

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Wars of the Roses John Ashdown-Hill / Book Paperback
common.buy 13.95 €
Perennials for the Pacific Northwest: 500 Best Plants for Flower Gardens Marty Wingate / Book Paperback
common.buy 20.02 €
Rigid Body Dynamics For Beginners: Euler angles & Quaternions Phil Kim / Book Paperback
common.buy 36.41 €
Your Career as a Fashion Designer Institute for Career Research / Book Paperback
common.buy 10.82 €
How To Write A Good Advertisement Victor O Schwab / Book Hardback
common.buy 34.49 €
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Alessandro Fantechi / Book Paperback
common.buy 51.69 €
Project Puffin Stephen W. Kress / Book Paperback
common.buy 23.26 €
Days and Deeds: A Book of Verse for Children's Reading and Speaking (1906) Burton Egbert Stevenson / Book Paperback
common.buy 37.32 €
Hydroponics DIY: Beginners Guide On How To Design And Build your Greenhouse Garden For Growing Plants In Water Nick Baras / Book Paperback
common.buy 13.95 €
Late Capitalist Fascism Mikkel Bolt Rasmussen / Book Hardback
common.buy 44.00 €
Last Stop David Patterson / Book Paperback
common.buy 14.86 €
The Doomsday Mother: Lori Vallow, Chad Daybell, and the End of an American Family Glatt / Book Paperback
common.buy 9.91 €
Jean Cocteau: The Juggler's Revenge Kenneth E Silver / Book Paperback
common.buy 42.69 €
Henry and the Big Wish Laura Watkins / Book Hardback
common.buy 8.69 €
Ayurveda and Acupuncture Frank Ros / Book Paperback
common.buy 16.68 €
Haunted James Herbert / Book Paperback
common.buy 10.82 €
Sun-Maid; A Romance. by the Author of Artiste, Victor Lescar Grant Maria M / Book Hardback
common.buy 40.16 €
Cases in the Exchequer John Jervis Edward Younge / Book Hardback
common.buy 42.99 €
Routledge History of Chinese Philosophy Bo Mou / Book Paperback
common.buy 82.55 €
THE POETS AND POETRY OF SPRINGFIELD IN M CHARLES H. BARROWS / Book Paperback
common.buy 19.42 €
Professional Content Management Systems - Handling Digital Media Assets Andreas Mauthe / Book Hardback
common.buy 130.51 €
Empirical Essays in Open Economy Macroeconomics Alexander Darku / Book Paperback
common.buy 70.92 €
Applying a Health Lens to Decision Making in Non-Health Sectors Roundtable on Population Health Improvement / Book Paperback
common.buy 43.09 €
Light Cavalry Brigade in the Crimea. Extracts from the Letters and Journal of the Late Gen. Lord G. Paget During the Crimean War. with a Map. Edited b Cecil Stratford Paget / Book Paperback
common.buy 29.63 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account