Code: 04601186

Formal Software Development

Name: Formal Software Development
Brand: Macmillan Education UK
SKU: 04601186
Price: 98.35 EUR
Availability: InStock
Author: Quentin Charatan
ISBN: 9780333992814

by Quentin Charatan, Aaron Kans

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

98.35 €

RRP: 98.39 €

You save 0.03 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

The Vampire Chronicles Collection
24.66 € -27 %
Buy
The French Laundry Cookbook
53.06 € -10 %
Buy
The American Roommate Experiment
9.19 € -25 %
Buy
Was man von hier aus sehen kann
12.63 € -10 %
Buy
Zen Flesh, Zen Bones
11.31 € -24 %
Buy
Zertifikat B1 neu, Übungsbuch + MP3-CD
38.81 € -11 %
Buy
Pixie's Astounding Lenormand
17.48 € -20 %
Buy
Merchants of Doubt
15.46 € -27 %
Buy
Rhythm Guitar 365: Daily Exercises for Developing, Improving and Maintaining Rhythm
23.75 € -24 %
Buy
Dragonet Prophecy (Wings of Fire #1)
14.75 € -25 %
Buy
Dinosaurs and Prehistoric Life
37.90 € -27 %
Buy
Harry Potter Colouring Book
11.82 € -24 %
Buy
Felix Ever After
7.88 € -26 %
Buy
Novac nije problem, Vi ste (Croatian)
11.31 € -25 %
Buy
Core
60.14 €
Buy
Studio Apartment, Good Lighting, Angel Included, Vol. 1
13.44 € -14 %
Buy
Dinosaur Paleobiology
94.82 € -2 %
Buy
Angel Numbers
11.82 € -24 %
Buy
Witcher Volume 6: Witch's Lament
19 € -8 %
Buy
Lucifer Book One
32.54 € -5 %
Buy
Still with Me
8.79 € -27 %
Buy
Sauve-moi
13.03 €
Buy
Poster
57.31 € -18 %
Buy
Walking on La Palma
21.52 €
Buy
Dark Tide
13.44 € -24 %
Buy
Peppa Pig: Sing with Peppa! [With Microphone]
17.38 € -21 %
Buy
Art Of Assembly Language, 2nd Edition
59.74 € -25 %
Pre-order
Radio Apocalypse
17.48 € -2 %
Buy
Chiamami col tuo nome
27.99 € -9 %
Buy
Animal Life After Death & Animal Reincarnation: Pet Loss Answers for all your heart's Questions!
14.04 € -6 %
Buy
Trolls 2. Libroaventuras
6.26 € -10 %
Buy
The 17 Day Diet Breakthrough Edition
21.73 € -24 %
Buy
Access Control And Identity Management
99.37 € -5 %
Buy
Soil and Rock Description in Engineering
119.28 € -5 %
Buy
Things Come Apart
40.02 €
Buy
1000 PREGUNTAS Y REPUESTAS
15.15 €
Buy
Lawyering
14.95 € -6 %
Buy
ECDL S5 Zarzadzanie projektami.
18.29 €
Buy
Thorgal luxes - Tome 37 - L'Ermite de Skellingar luxe (luxe)
162.45 €
Buy
Patrologiae Cursus Completus: Seu Bibliotheca Universalis, Integra, Uniformis, Commoda, Oeconomica, Omnium SS. Patrum, Doctorum Scriptorumque Eccles
30.92 € -2 %
Buy
Attraktionseffekt als Marketinginstrument. Anwendung und Grenzen
25.06 € -11 %
Buy
Evolution De Jeunes Enfants Avec Autisme, Impact De La Duree Du Suivi
19.20 €
Buy
1000 Vocabulaire De Base Illustré J'Apprends ? Lire Apprentissage Ecriture Maternelle Cp Niveau 1: Trilingue Anglais Français Montessori: Apprendre ?
14.04 € -7 %
Buy
Korroziya vodogrejnyh kotlov
48.92 € -14 %
Buy
Purple Springs
26.48 € -1 %
Buy
1950ler Türkiyesinde Edebiyat Dergileri
12.12 € -5 %
Buy
137-150
179.74 €
Buy
CRC Handbook of the Zoology of Amphistomes
107.55 €
Buy
Buen trazo 3
5.04 €
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 238 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.