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

Formal Software Development

From VDM to Java

Language EnglishEnglish
Book Paperback
Book Formal Software Development Quentin Charatan
Libristo code: 04601186
Publishers Macmillan Education UK, September 2003
This gently paced software engineering text concentrates on the use of formal methods for the develo... Full description
? points 259 b
37 912 Ft
In stock at our supplier Shipping in 10-18 days

30-day return policy

Customers also purchased

1000 PREGUNTAS Y REPUESTAS / Book Book
common.buy 5 357 Ft
Thorgal luxes - Tome 37 - L'Ermite de Skellingar luxe (luxe) Yann / Book Hardback
common.buy 57 593 Ft
Evolution De Jeunes Enfants Avec Autisme, Impact De La Duree Du Suivi / Book Paperback
common.buy 6 908 Ft
1000 Vocabulaire De Base Illustré J'Apprends ? Lire Apprentissage Ecriture Maternelle Cp Niveau 1: Trilingue Anglais Français Montessori: Apprendre ? Enseigner Grâce Jeu / Book Paperback
common.buy 5 676 Ft
Zertifikat B1 neu, Übungsbuch + MP3-CD Aliki Ernestine Olympia Balser / Book Paperback
common.buy 15 846 Ft
Korroziya vodogrejnyh kotlov Vladimir Kiseljov / Book Paperback
common.buy 18 965 Ft
Haifischzähne Andrea Kluitmann / Book Hardback
common.buy 3 336 Ft
Patrologiae Cursus Completus: Seu Bibliotheca Universalis, Integra, Uniformis, Commoda, Oeconomica, Omnium SS. Patrum, Doctorum Scriptorumque Eccles Jacques-Paul Migne / Book Paperback
common.buy 12 422 Ft
Trolls 2. Libroaventuras Dreamworks / Book Hardback
common.buy 2 224 Ft
1950ler Türkiyesinde Edebiyat Dergileri / Book Paperback
common.buy 4 684 Ft
137-150 Matthias Jahn / Book Hardback
common.buy 66 859 Ft
Top
Was man von hier aus sehen kann Mariana Leky / Book Paperback
common.buy 4 914 Ft
Attraktionseffekt als Marketinginstrument. Anwendung und Grenzen René Zdebel / Book Paperback
common.buy 9 700 Ft
Buen trazo 3 / Book Paperback
common.buy 1 786 Ft
Chiamami col tuo nome André Aciman / Book Paperback
common.buy 10 784 Ft

This gently paced software engineering text concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book contains examples and exercises throughout, and is supported by a dedicated web site.

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 Software Development
Author Quentin Charatan, Aaron Kans
Language English
Binding Book - Paperback
Date of issue 2003
Number of pages 256
EAN 9780333992814
ISBN 0333992814
Libristo code 04601186
Publishers Macmillan Education UK
Weight 476
Dimensions 246 x 191 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

Access Control And Identity Management Mike Chapple / Book Paperback
common.buy 35 365 Ft
CRC Handbook of the Zoology of Amphistomes SEY / Book Paperback
common.buy 40 709 Ft
Angel Numbers Kyle Gray / Book Paperback
common.buy 4 476 Ft
Poster Gill Saunders / Book Hardback
common.buy 19 021 Ft
Dark Tide Alicia Jasinska / Book Hardback
common.buy 5 574 Ft
Peppa Pig: Sing with Peppa! [With Microphone] Editors of Phoenix International Publica / Book Hardback
common.buy 6 806 Ft
Coming soon
Soil and Rock Description in Engineering David Norbury / Book Hardback
common.buy 44 497 Ft
Top
Dinosaurs and Prehistoric Life DK / Book Hardback
common.buy 13 622 Ft
Top
Felix Ever After Kacen Callender / Book Paperback
common.buy 2 912 Ft
Still with Me CUNSOLO JESSICA / Book Paperback
common.buy 3 484 Ft
Witcher Volume 6: Witch's Lament Vanesa Del Rey / Book Paperback
common.buy 5 971 Ft
The American Roommate Experiment Elena Armas / Book Paperback
common.buy 3 364 Ft
Core Kieran Morris / Book Hardback
common.buy 24 041 Ft
Radio Apocalypse K.M. Gallagher / Book Paperback
common.buy 7 037 Ft
Studio Apartment, Good Lighting, Angel Included, Vol. 1 Katie Blakeslee / Book Paperback
common.buy 4 139 Ft
Coming soon
Art Of Assembly Language, 2nd Edition Randall Hyde / Book Paperback
common.buy 22 592 Ft
Pixie's Astounding Lenormand Edmund Zebrowski / Printed items Cards
common.buy 5 999 Ft
Vampire Chronicles Collection Anne Rice / Book Paperback
common.buy 9 718 Ft
Lawyering Roger D Hatcher / Book Paperback
common.buy 6 026 Ft
Dragonet Prophecy (Wings of Fire #1) Tui Sutherland / Book Hardback
common.buy 6 146 Ft
Top
Zen Flesh, Zen Bones Paul Reps / Book Paperback
common.buy 4 698 Ft
Purple Springs Nellie L. McClung / Book Paperback
common.buy 10 622 Ft
The 17 Day Diet Breakthrough Edition Mike Moreno / Book Hardback
common.buy 9 012 Ft
Rhythm Guitar 365: Daily Exercises for Developing, Improving and Maintaining Rhythm Troy Nelson / Book Paperback
common.buy 9 893 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