Code: 04601186

Formal Software Development

Name: Formal Software Development
Brand: Macmillan Education UK
SKU: 04601186
Price: 117.62 EUR
Availability: InStock

by Quentin Charatan, Aaron Kans

Language: English
Binding: Paperback
Number of pages: 256
Publisher: Macmillan Education UK, 2003
More about this

117.62 €

In stock at our supplier
Shipping in 15 - 20 days

Add to wishlist

Felix Ever After
9.09 € -27 %
Buy
Dinosaurs and Prehistoric Life
41.93 € -17 %
Buy
Angel Numbers
11.04 € -28 %
Buy
Poster
52.15 € -18 %
Buy
Dark Tide
14.11 € -26 %
Buy
Peppa Pig: Sing with Peppa! [With Microphone]
19.42 € -17 %
Buy
Soil and Rock Description in Engineering
127.03 €
Buy
Access Control And Identity Management
87.65 €
Buy
Art Of Assembly Language, 2nd Edition
49.80 € -18 %
Buy
Still with Me
10.01 € -19 %
Buy
Beta Ray Bill: Argent Star
16.05 € -8 %
Buy
Witcher Volume 6: Witch's Lament
18.30 € -14 %
Buy
The American Roommate Experiment
9.20 € -23 %
Buy
Core
51.03 € -16 %
Buy
Radio Apocalypse
21.37 €
Buy
Studio Apartment, Good Lighting, Angel Included, Vol. 1
10.83 € -24 %
Buy
Lucifer Book One
28.94 € -7 %
Buy
French Laundry Cookbook
46.22 € -24 %
Buy
Dinosaur Paleobiology
107.69 €
Buy
Merchants of Doubt
16.56 € -23 %
Buy
Night Shift
10.53 € -16 %
Buy
Vampire Chronicles Collection
28.63 € -14 %
Buy
Dragonet Prophecy (Wings of Fire #1)
17.28 € -18 %
Buy
Zen Flesh, Zen Bones
12.57 € -23 %
Buy
Rhythm Guitar 365: Daily Exercises for Developing, Improving and Maintaining Rhythm
25.25 € -19 %
Buy
Harry Potter Colouring Book
11.45 € -28 %
Buy
Laura Dean Keeps Breaking Up with Me
20.75 € -21 %
Buy
Trolls 2. Libroaventuras
6.64 € -5 %
Buy
Schleich Eldrador Creatures CD 02
7.56 €
Buy
1950ler Türkiyesinde Edebiyat Dergileri
17.58 €
Buy
Thorgal luxes - Tome 37 - L'Ermite de Skellingar luxe (luxe)
174.08 €
Buy
Attraktionseffekt als Marketinginstrument. Anwendung und Grenzen
51.85 € -2 %
Buy
1000 PREGUNTAS Y REPUESTAS
14.72 € -4 %
Buy
Chiamami col tuo nome
19.63 €
Buy
Was man von hier aus sehen kann
12.16 € -10 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 291 loyalty points

Book synopsis

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.