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 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 129 b
52.89 €
103.44  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Aus meinem Leben; Dichtung und Wahrheit Peter Sprengel / Book Hardback
common.buy 55.76 € 109.06 лв
Bola de Drac Definitiva nº 15/34 Akira Toriyama / Book Paperback
common.buy 18.64 € 36.45 лв
?ric i l'Exèrcit del Fènix. Bertran Martínez / Book Paperback
common.buy 17.30 € 33.84 лв
Weil das Leben fragt Josef Hiebaum / Book Paperback
common.buy 22.59 € 44.18 лв
O Pequeno principe pidao Walter Moreira Santos / Book Paperback
common.buy 23.00 € 44.98 лв
Rebecca Malcolm Jones / Book Paperback
common.buy 22.64 € 44.28 лв
Top
Bully - Szívatás Douglas / Book Paperback
common.buy 14.22 € 27.81 лв
Einführung in die Kunstpädagogik Georg Peez / Book Paperback
common.buy 28.85 € 56.43 лв
Manual completo del ajedrez Marco Iudicello / E-book Adobe ePub DRM
common.buy 11.66 € 22.80 лв
Schlesische Urkunden zur Geschichte der Juden im Mittelalter Ludwig Oelsner / Book Paperback
common.buy 13.19 € 25.80 лв
Percy Jackson - Die Schlacht um das Labyrinth (Percy Jackson 4) Rick Riordan / Book Hardback
common.buy 15.25 € 29.82 лв
Vadims Methode Vadim Tschenze / Book Paperback
common.buy 13.35 € 26.10 лв
Unternehmensfuhrung im Handelsbetrieb Wolfgang Oehme / Book Paperback
common.buy 60.54 € 118.40 лв
Grundlagen Des Operations Research 3 Tomas Gal / Book Hardback
common.buy 49.50 € 96.81 лв
Diskrete Mathematik L Szl Lov Sz / Book Paperback
common.buy 23.00 € 44.98 лв
Neues Museum des Witzes und der Laune : eine humoristische Anthologie Ernst Ortlepp / Book Paperback
common.buy 15.86 € 31.02 лв
Los montes arbolados, el régimen de lluvias y la fertilidad de las tierras Félix . . . [et al. ] Rodrigo Mora / Book Paperback
common.buy 10.47 € 20.48 лв
Fotografía para todos : más de 300 trucos y consejos de los grandes expertos AA. VV. / Book Paperback
common.buy 29.62 € 57.94 лв
Poste d'aiguillage Resplendino / Book Paperback
common.buy 16.58 € 32.43 лв
Procedimientos para solucionar problemas de Nociones matematicas Marisol Lopez Fernandez / Book Paperback
common.buy 33.78 € 66.08 лв
EL ORIGEN DE LOS OTROS TONI MORRISON / Book Hardback
common.buy 15.55 € 30.42 лв
Z deníku dočaskářky Ten pes je chuligán! Olga Minaříková / Book Hardback
common.buy 3.90 € 7.62 лв
Festschrift Zur Feier Des 50 Jahrigen Bestehens Der Liebig-Realschule Zu Frankfurt A.Main Am 18. Juni 1905 Anonymous / Book Paperback
common.buy 21.61 € 42.27 лв
Le Procede La Gomme Bichromatee Ou Photo-Aquateinte (1898) Alfred Ogle Maskell / Book Paperback
common.buy 21.61 € 42.27 лв

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

British Economic Development in South East Asia, 1880 - 1939, Volume 3 David Sunderland / E-book Adobe ePub DRM
common.buy 92.10 € 180.14 лв
Wars of the Roses John Ashdown-Hill / Book Paperback
common.buy 14.73 € 28.81 лв
Jean Cocteau: The Juggler's Revenge Kenneth E Silver / Book Paperback
common.buy 42.77 € 83.65 лв
Topless Cellist Joan Rothfuss / Book Paperback
common.buy 29.37 € 57.44 лв
Essays In The Art of Writing Robert Louis Stevenson / Book Paperback
common.buy 8.67 € 16.96 лв
Rigid Body Dynamics For Beginners: Euler angles & Quaternions Phil Kim / Book Paperback
common.buy 37.17 € 72.70 лв
Your Career as a Fashion Designer Institute for Career Research / Book Paperback
common.buy 10.98 € 21.48 лв
Midst of Heaven Roy Gladden / Book Paperback
common.buy 15.09 € 29.52 лв
How To Write A Good Advertisement Victor O Schwab / Book Hardback
common.buy 35.12 € 68.69 лв
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Alessandro Fantechi / Book Paperback
common.buy 54.02 € 105.65 лв
International Criminal Law and Sexual Violence against Women Daniela (Queen Mary University of London UK) Nadj / Book Hardback
common.buy 249.40 € 487.79 лв
In the Shadow of a Dark Room Albert E Sisson / Book Paperback
common.buy 15.09 € 29.52 лв
Deutsche Thesen gegen den Papst und seine Dunkelmanner - Antikatholische Erzahlungen Oskar Panizza / Book Paperback
common.buy 9.55 € 18.67 лв
The Christmas Spirit MACOMBER DEBBIE / Book Paperback
common.buy 8.42 € 16.46 лв
Drum Set Development L1 Giovanni Andreani / Book Paperback
common.buy 19.56 € 38.26 лв
Routledge Companion to Digital Ethnography Larissa Hjorth / Book Paperback
common.buy 76.71 € 150.04 лв
The Doomsday Mother: Lori Vallow, Chad Daybell, and the End of an American Family Glatt / Book Paperback
common.buy 10.11 € 19.78 лв
The Crowd in the French Revolution George F. E. Rudé / Book Paperback
common.buy 26.55 € 51.93 лв
Days and Deeds: A Book of Verse for Children's Reading and Speaking (1906) Burton Egbert Stevenson / Book Paperback
common.buy 38.05 € 74.41 лв
The Ruba'yat Of Omar Khayam (1899) Omar Khayyam / Book Paperback
common.buy 21.61 € 42.27 лв
Hydroponics DIY: Beginners Guide On How To Design And Build your Greenhouse Garden For Growing Plants In Water Nick Baras / Book Paperback
common.buy 14.17 € 27.71 лв
Last Stop David Patterson / Book Paperback
common.buy 15.09 € 29.52 лв
Cooking Time Stepro Designs / Book Hardback
common.buy 70.09 € 137.08 лв
Late Capitalist Fascism Mikkel Bolt Rasmussen / Book Hardback
common.buy 46.93 € 91.79 лв

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?