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

Practical Formal Software Engineering

Wanting the Software You Get

Language EnglishEnglish
Book Paperback
Book Practical Formal Software Engineering Bruce Mills
Libristo code: 25370345
Publishers Cambridge University Press, December 2019
Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate s... Full description
? points 143 b
21 016 Ft
In stock at our supplier Shipping in 10-18 days

30-day return policy

Customers also purchased

Sodomites catalans Riera i Sans / Book Paperback
common.buy 12 253 Ft
L'Oracle de la vierge Satis / Book Book
common.buy 4 835 Ft
Kostentr gerst ckrechnung (Kalkulationsverfahren) Jörg Bottler / Book Paperback
common.buy 20 447 Ft
Miecz nieśmiertelnego #08 Samura Hiroaki / Book Paperback
common.buy 5 893 Ft
Idées reçues sur les règles Coville marion / Book Paperback
common.buy 9 364 Ft
Himmel auf Erden Sadakat Kadri / E-book Adobe ePub DRM
common.buy 9 734 Ft
SI BUSCABAS UNA SEÑAL ES ESTA AHORA GABRIEL ROSA / Book Paperback
common.buy 6 757 Ft
Mussolini et l'italie fasciste palla m Book Paperback
common.buy 5 879 Ft
Dance With The Devil Burning Witches / Audio Audio CD
common.buy 9 235 Ft
Deontología farmacéutica aplicada José López Guzmán / Book Paperback
common.buy 7 594 Ft
Hansa Schroedter / Book Paperback
common.buy 10 085 Ft
Dívka jménem Boy Helen Oyeyemi / Book Hardback
common.buy 3 795 Ft
Tableau Des Progres de l'Anatomie Dans l'Ecole de Montpellier BOUISSON-E / Book Paperback
common.buy 5 218 Ft
Leggere, scrivere, argomentare. Prove ragionate di scrittura Luca Serianni / Book Paperback
common.buy 4 996 Ft
Felix Fürst Zu Schwarzenberg. Ein Biographisches Denkmal Von Adolph Franz Berger. Adolph Franz Berger / Book Paperback
common.buy 10 640 Ft
EL PRINCIPE Y LA MODISTA JEN WANG / Book Hardback
common.buy 7 284 Ft
Shakespeare 12 převyprávěných her Renáta Fučíková / Audio Audio CD
common.buy 4 077 Ft

Practical Formal Software Engineering is a textbook aimed at final year undergraduate and graduate students, emphasizing formal methods in writing robust code quickly. Engineering is an informal process using formal logics as tools and components to obtain

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 Practical Formal Software Engineering
Author Bruce Mills
Language English
Binding Book - Paperback
Date of issue 2019
Number of pages 376
EAN 9781108818643
ISBN 1108818641
Libristo code 25370345
Publishers Cambridge University Press
Weight 716
Dimensions 187 x 246 x 22

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

Innovation in Play Environments Paul F. Wilkinson / Book Paperback
common.buy 19 347 Ft
Top New
Halcyon Years Alastair Reynolds / Book Paperback
common.buy 5 278 Ft
Top New
King of Gluttony Ana Huang / Book Paperback
common.buy 4 340 Ft
A Different Kind Of Power Miles Olsen / Book Paperback
common.buy 5 306 Ft
New Heart, New Life Jason Gregg / E-book Adobe ePub DRM
common.buy 776 Ft
Top
Offroad Atlas Martin Schempp / Book Paperback
common.buy 13 852 Ft
Introduction ? L'étude du Droit International Louis Renault / Book Hardback
common.buy 11 374 Ft
On the Level Bryan R. Monte / Book Paperback
common.buy 5 306 Ft
Caves Sara Green / Book Hardback
common.buy 10 861 Ft
Awesome 2 Rajeshrosem Publishing / Book Paperback
common.buy 2 930 Ft
From God, to Mom, to Me O-Haji Moncrief / Book Paperback
common.buy 4 308 Ft
Lifecycle Approach to Knowledge Excellence in the Biopharmaceutical Industry Nuala Calnan / Book Paperback
common.buy 31 322 Ft
Expression Profiling of Human Tumors Marc Ladanyi / Book Hardback
common.buy 58 286 Ft
The Beautiful Struggle Zackary Jones / Book Paperback
common.buy 2 593 Ft
Computational Science and High Performance Computing II Egon Krause / Book Paperback
common.buy 79 260 Ft
In Company 3.0 Intermediate Level Class Audio CD Mark Powell / Audio Audio CD
common.buy 12 544 Ft
Addictive Behaviour: Molecules to Mankind Adrian Bonner / Book Hardback
common.buy 63 990 Ft
Nuclear Magnetic Resonance (NMR) D Krishnarao / Book Hardback
common.buy 99 971 Ft
Psalms Douglas Sean O'Donnell / Book Paperback
common.buy 3 577 Ft
Flight Into Egypt. [in Verse.] George Aloysius / Book Paperback
common.buy 4 659 Ft
East Asia's De Facto Economic Integration Daisuke Hiratsuka / Book Paperback
common.buy 40 876 Ft
Remembering North Carolina's Confederates Michael C. Hardy / Book Paperback
common.buy 7 663 Ft
Kagetora Ha Kanabo Carlos Febres / Book Paperback
common.buy 5 934 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?