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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 133 b
19 986 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Die Süntelbuchenallee (Tischkalender 2026 DIN A5 quer), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 7 434 Ft
Hello Kitty kreativní box / Book binding.
common.buy 5 104 Ft
Digital und souverän Andrea Grundmann / Book Paperback
common.buy 10 299 Ft
Ein neues Denken - ein neuer Mensch - eine neue Welt Eckhart Tolle / Book Book
common.buy 4 176 Ft
Unternehmertum und Armut Emmanuel OTTO / Book Paperback
common.buy 15 569 Ft
Bing - Moss fogat Binggel! / Book Board book
common.buy 2 820 Ft
Alkohol gesundheitliche Folgen von Alkoholismus körperliche Symptome und Auswirkungen auf die Psyche Holger Kiefer / Book Paperback
common.buy 9 266 Ft
Olanda Edmondo De Amicis / Book Paperback
common.buy 9 205 Ft
Liderazgo carismático y proceso político en Haití (1986-1997) Alejandro Álvarez Martínez / Book Paperback
common.buy 125 586 Ft
IMPUESTO SOBRE TRANSACCIONES FINANCIERAS Y OTROS IMPUESTOS SOBRE MARTIN MOLINA / Book Paperback
common.buy 13 452 Ft
A Returner's Magic Should Be Special 01 Wookjakga / Book Paperback
common.buy 5 753 Ft
Por qué los hombres no escuchan y no saben hacer dos cosas a la vez PEASE / Book Paperback
common.buy 2 884 Ft
BAJO TIERRA BUSSOLATI / Book Paperback
common.buy 3 708 Ft
Van Eyck Une rEvolution optique /franCais BORCHERT TILL-HOLGER Book Hardback
common.buy 31 620 Ft
ETAPES 98 GENIE MECANIQUE AUTOMATISMES INDUSTRIELS Jean-Michel Bleux / Book Paperback
common.buy 12 690 Ft
Geburtshulfe Und Gynakologie Bei Aetios Von Amida Na Aetius / Book Paperback
common.buy 20 948 Ft
Bambi Felix Salten / Book Hardback
common.buy 2 350 Ft
Hus drží klíč Bill Higgins / Book Paperback
common.buy 975 Ft
Coming soon
Wo bist du, kleiner Fuchs? Klara Tünner / Book Board book
common.buy 2 761 Ft
Nachtfalter und andere Kreaturen der Dunkelheit Sylvia Dölger / Book Paperback
common.buy 5 332 Ft
Il levriero di Tiepolo. Testo inglese a fronte Derek Walcott / Book Paperback
common.buy 8 921 Ft
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 14 115 Ft
Histoire de la Revolution Francaise. Tome 10 THIERS-A / Book Paperback
common.buy 13 722 Ft

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 20 389 Ft
Top
Warmth of Other Suns Isabel Wilkerson / Book Paperback
common.buy 6 459 Ft
Security, Privacy, and Anonymity in Computation, Communication, and Storage Guojun Wang / Book Paperback
common.buy 40 659 Ft
Pediatric Pulmonology, Asthma, and Sleep Medicine Dennis C Stokes / Book Paperback
common.buy 29 987 Ft
Overcoming Harm OCD Jon Hershfield / Book Paperback
common.buy 7 870 Ft
Sophie Washington Tonya Duncan Ellis / Book Hardback
common.buy 7 581 Ft
Pop & Country Instrumental Solos for Strings: Book & CD Bill Galliford / Book Paperback
common.buy 4 986 Ft
Moonlight Schools for the Emancipation of Adult Illiterates Cora Wilson Stewart / Book Paperback
common.buy 6 411 Ft
Lonely Planet Pocket Orlando & Walt Disney World (R) Resort Lonely Planet / Book Paperback
common.buy 6 203 Ft
Toward a Pragmatist Metaethics Diana Heney / Book Paperback
common.buy 26 833 Ft
Uncontrived Mindfulness Vajradevi / Book Paperback
common.buy 6 965 Ft
A Handbook Of Palmistry After The Ancient Methods Rosa Baughan / Book Hardback
common.buy 13 499 Ft
The American Law Journal and Miscellaneous Repertory, Volume 2 John Elihu Hall / Book Paperback
common.buy 10 900 Ft
The Home Garden, V3, No. 6, June, 1944 Frederick Frye Rockwell / Book Paperback
common.buy 9 806 Ft
McGraw-Hill Education Essential ESL Dictionary McGraw-Hill Education / Book Paperback
common.buy 9 247 Ft
CIA PSYOP Manual - Psychological Operations in Guerrilla Warfare Rick Carlile / Book Paperback
common.buy 5 118 Ft
Top
Elephant in the Brain Robin Hanson / Book Paperback
common.buy 9 882 Ft
Illusionary / Book Hardback
common.buy 6 984 Ft
The Beginner's Guidebook to Investing: How to Make Money Investing Passively Mark Gruner / Book Paperback
common.buy 3 708 Ft
Encanto - Music from the Motion Picture Soundtrack Arranged for Big-Note Piano / Book Paperback
common.buy 5 436 Ft
Art and Architecture of Sicily Julian Treuherz / Book Hardback
common.buy 16 833 Ft
The Magician Crystal Hickerson / Book Paperback
common.buy 7 945 Ft
Top
Running Rewired: Reinvent Your Run for Stability, Strength, and Speed, Revised Edition DICHARRY JAY / Book Paperback
common.buy 8 348 Ft
China Clipper: The Age of the Great Flying Boats Robert Gandt / Book Hardback
common.buy 9 820 Ft

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?