LIBRISTO
LIBROAMANTO
mandatory
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 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

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 145 b
21 666 Ft
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns


Customers also purchased


Top
Herbst Eva-Maria Ott-Heidmann / Book Board book
common.buy 4 435 Ft
Idées reçues sur les règles Coville marion / Book Paperback
common.buy 9 128 Ft
Top
Kobalt Frei Tamás / Book Hardback
common.buy 7 063 Ft
Svyaz' Struktury I Deystviya Veshchestv V. F. Trushkov / Book Paperback
common.buy 26 908 Ft
Top
A kínai konyha kultúrtörténete Fuchsia Dunlop / Book Hardback
common.buy 9 410 Ft
Gölgesizler / Book Paperback
common.buy 4 768 Ft
Adapa / Book Paperback
common.buy 4 377 Ft
Denken nach Botho Strauß Philipp Theisohn / Book Paperback
common.buy 5 648 Ft
Solo para mujeres Marilyn French / Book Paperback
common.buy 9 638 Ft
Shakespeare 12 převyprávěných her Renáta Fučíková / Audio Audio CD
common.buy 4 153 Ft
Der Garten der Liebenden Ingo Laabs / Book Paperback
common.buy 3 539 Ft
EL PRINCIPE Y LA MODISTA JEN WANG / Book Hardback
common.buy 7 618 Ft
Coming soon
Procvičujeme slovní druhy Lenka Dočkalová / Book Paperback
common.buy 945 Ft
Dívka jménem Boy Helen Oyeyemi / Book Hardback
common.buy 3 871 Ft
Deontología farmacéutica aplicada José López Guzmán / Book Paperback
common.buy 7 677 Ft
Hansa Schroedter / Book Paperback
common.buy 10 207 Ft
SI BUSCABAS UNA SEÑAL ES ESTA AHORA GABRIEL ROSA / Book Paperback
common.buy 6 826 Ft
Búsqueda de empleo a través de Internet IVAN PARRO FERNANDEZ / Book Paperback
common.buy 8 455 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
Weight 716
Dimensions 187 x 246 x 22
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 22 473 Ft
Awesome 2 Rajeshrosem Publishing / Book Paperback
common.buy 3 064 Ft
From God, to Mom, to Me O-Haji Moncrief / Book Paperback
common.buy 4 499 Ft
The Dragon Waiting John M. Ford / Book Paperback
common.buy 6 143 Ft
Metropolitan Organising Capacity Leo van den Berg / Book Paperback
common.buy 14 241 Ft
Try To Be Better Sam Buchan-Watts & Lavinia Singer / Book Paperback
common.buy 4 648 Ft
Who Stole Tommy's Kisses Sue Raymond / Book Hardback
common.buy 8 860 Ft
Oddities: A Spot the Odd One Out Puzzle Book John Bigwood / Book Paperback
common.buy 5 648 Ft
New Testament Healing Scriptures Donald Dees / Book Paperback
common.buy 4 485 Ft
The Beautiful Struggle Zackary Jones / Book Paperback
common.buy 2 688 Ft
Healthy Homemade Dog Treats Skyhorse Publishing / Book Hardback
common.buy 5 782 Ft
History of Rome, Volume Xi Livy / Book Hardback
common.buy 12 236 Ft
Life of Jesus Ernest 1823-1892 Renan / Book Hardback
common.buy 14 627 Ft
Top
Halcyon Years Alastair Reynolds / Book Paperback
common.buy 5 034 Ft
Top
King of Gluttony Ana Huang / Book Paperback
common.buy 3 628 Ft
A Different Kind Of Power Miles Olsen / Book Paperback
common.buy 5 529 Ft
New Heart, New Life Jason Gregg / E-book Adobe ePub DRM
common.buy 1 044 Ft
The Grimmelings King / Book Hardback
common.buy 6 143 Ft

Login

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

 
mandatory
mandatory

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?