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

Refinement

Semantics, Languages and Applications

Language EnglishEnglish
Book Paperback
Book Refinement John Derrick
Libristo code: 21348032
Publishers Springer Nature Switzerland AG, January 2019
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al... Full description
? points 129 b
53.29 €
104.22  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Digital und souverän Andrea Grundmann / Book Paperback
common.buy 27.55 € 53.87 лв
Bing - Moss fogat Binggel! / Book Board book
common.buy 7.85 € 15.36 лв
Die Süntelbuchenallee (Tischkalender 2026 DIN A5 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 19.79 € 38.71 лв
Ein neues Denken - ein neuer Mensch - eine neue Welt Eckhart Tolle / Book Book
common.buy 13.02 € 25.47 лв
Unternehmertum und Armut Emmanuel OTTO / Book Paperback
common.buy 41.45 € 81.07 лв
Alkohol gesundheitliche Folgen von Alkoholismus körperliche Symptome und Auswirkungen auf die Psyche Holger Kiefer / Book Paperback
common.buy 24.65 € 48.21 лв
Olanda Edmondo De Amicis / Book Paperback
common.buy 24.55 € 48.01 лв
Liderazgo carismático y proceso político en Haití (1986-1997) Alejandro Álvarez Martínez / Book Paperback
common.buy 83.78 € 163.87 лв
IMPUESTO SOBRE TRANSACCIONES FINANCIERAS Y OTROS IMPUESTOS SOBRE MARTIN MOLINA / Book Paperback
common.buy 38.56 € 75.41 лв
Por qué los hombres no escuchan y no saben hacer dos cosas a la vez PEASE / Book Paperback
common.buy 8.47 € 16.57 лв
BAJO TIERRA BUSSOLATI / Book Paperback
common.buy 10.75 € 21.02 лв
Van Eyck Une rEvolution optique /franCais BORCHERT TILL-HOLGER Book Hardback
common.buy 90.92 € 177.82 лв
ETAPES 98 GENIE MECANIQUE AUTOMATISMES INDUSTRIELS Jean-Michel Bleux / Book Paperback
common.buy 36.59 € 71.57 лв
Geburtshulfe Und Gynakologie Bei Aetios Von Amida Na Aetius / Book Paperback
common.buy 55.87 € 109.27 лв
Bambi Felix Salten / Book Hardback
common.buy 6.61 € 12.93 лв
Hus drží klíč Bill Higgins / Book Paperback
common.buy 2.84 € 5.55 лв
Wo bist du, kleiner Fuchs? Klara Tünner / Book Board book
common.buy 7.33 € 14.35 лв
Nachtfalter und andere Kreaturen der Dunkelheit Sylvia Dölger / Book Paperback
common.buy 14.16 € 27.69 лв
Il levriero di Tiepolo. Testo inglese a fronte Derek Walcott / Book Paperback
common.buy 25.79 € 50.44 лв
Etat Des Cours de l'Europe Et Des Provinces de France Pour l'Annee 1786 -1788 T2 Poncelin De La Roche-J-C / Book Paperback
common.buy 38.81 € 75.91 лв
Histoire de la Revolution Francaise. Tome 10 THIERS-A / Book Paperback
common.buy 35.14 € 68.74 лв

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between

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 Refinement
Author John Derrick, Eerke Boiten
Language English
Binding Book - Paperback
Date of issue 2019
Number of pages 269
EAN 9783030064976
ISBN 3030064972
Libristo code 21348032
Publishers Springer Nature Switzerland AG
Weight 454
Dimensions 155 x 235 x 15

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Exploring Resilience Siri Wiig / Book Paperback
common.buy 54.37 € 106.34 лв
Warmth of Other Suns Isabel Wilkerson / Book Paperback
common.buy 17.05 € 33.35 лв
Pediatric Pulmonology, Asthma, and Sleep Medicine Dennis C Stokes / Book Paperback
common.buy 86.47 € 169.12 лв
Overcoming Harm OCD Jon Hershfield / Book Paperback
common.buy 21.65 € 42.35 лв
Sophie Washington Tonya Duncan Ellis / Book Hardback
common.buy 19.38 € 37.90 лв
Pop & Country Instrumental Solos for Strings: Book & CD Bill Galliford / Book Paperback
common.buy 13.95 € 27.29 лв
Moonlight Schools for the Emancipation of Adult Illiterates Cora Wilson Stewart / Book Paperback
common.buy 17.10 € 33.45 лв
Lonely Planet Pocket Orlando & Walt Disney World (R) Resort Lonely Planet / Book Paperback
common.buy 17.88 € 34.97 лв
Toward a Pragmatist Metaethics Diana Heney / Book Paperback
common.buy 68.95 € 134.85 лв
Uncontrived Mindfulness Vajradevi / Book Paperback
common.buy 19.17 € 37.50 лв
A Handbook Of Palmistry After The Ancient Methods Rosa Baughan / Book Hardback
common.buy 34.42 € 67.32 лв
The American Law Journal and Miscellaneous Repertory, Volume 2 John Elihu Hall / Book Paperback
common.buy 27.86 € 54.48 лв
The Home Garden, V3, No. 6, June, 1944 Frederick Frye Rockwell / Book Paperback
common.buy 25.01 € 48.92 лв
McGraw-Hill Education Essential ESL Dictionary McGraw-Hill Education / Book Paperback
common.buy 23.10 € 45.18 лв
CIA PSYOP Manual - Psychological Operations in Guerrilla Warfare Rick Carlile / Book Paperback
common.buy 13.07 € 25.57 лв
Top
Elephant in the Brain Robin Hanson / Book Paperback
common.buy 24.86 € 48.62 лв
Illusionary / Book Hardback
common.buy 18.60 € 36.38 лв
The Beginner's Guidebook to Investing: How to Make Money Investing Passively Mark Gruner / Book Paperback
common.buy 9.40 € 18.39 лв
Encanto - Music from the Motion Picture Soundtrack Arranged for Big-Note Piano / Book Paperback
common.buy 13.59 € 26.58 лв
Art and Architecture of Sicily Julian Treuherz / Book Hardback
common.buy 46.10 € 90.17 лв
The Magician Crystal Hickerson / Book Paperback
common.buy 20.26 € 39.62 лв
Top
Running Rewired: Reinvent Your Run for Stability, Strength, and Speed, Revised Edition DICHARRY JAY / Book Paperback
common.buy 22.01 € 43.06 лв
China Clipper: The Age of the Great Flying Boats Robert Gandt / Book Hardback
common.buy 24.55 € 48.01 лв
Top
Onyx Storm (Deluxe Limited Edition) (The Empyrean, 3) Rebecca Yarros / Book Hardback
common.buy 27.55 € 53.87 лв

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?