Articles liés à Formal Software Development: From VDM to Java

Formal Software Development: From VDM to Java - Couverture souple

 
9780333992814: Formal Software Development: From VDM to Java

Synopsis

This is a gently-paced software engineering text that 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 is packed with examples and exercises throughout.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

AARON KANS is Senior Lecturer at the University of East London, UK.; QUENTIN CHARATAN is Principal Lecturer at the University of East London, UK.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurRed Globe Press
  • Date d'édition2003
  • ISBN 10 0333992814
  • ISBN 13 9780333992814
  • ReliureBroché
  • Langueanglais
  • Nombre de pages252
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Assez bon
The book has been read, but is...
Afficher cet article
EUR 10,65

Autre devise

EUR 5,31 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 52,98

Autre devise

EUR 7,87 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Résultats de recherche pour Formal Software Development: From VDM to Java

Image d'archives

Charatan, Quentin
Edité par Bloomsbury Academic, 2003
ISBN 10 : 0333992814 ISBN 13 : 9780333992814
Ancien ou d'occasion Paperback

Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. N° de réf. du vendeur GOR004121054

Contacter le vendeur

Acheter D'occasion

EUR 10,65
Autre devise
Frais de port : EUR 5,31
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Charatan, Quentin
Edité par Red Globe Press, 2003
ISBN 10 : 0333992814 ISBN 13 : 9780333992814
Ancien ou d'occasion paperback

Vendeur : BookstoYou, Hay-on-Wye, HEREF, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

paperback. Etat : Very Good. Book covers have light shelf wear. N° de réf. du vendeur mon0000009765

Contacter le vendeur

Acheter D'occasion

EUR 10,65
Autre devise
Frais de port : EUR 11,81
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Aaron Kans Quentin Charatan
Edité par MacMillan, 2003
ISBN 10 : 0333992814 ISBN 13 : 9780333992814
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 400. N° de réf. du vendeur 261788285

Contacter le vendeur

Acheter neuf

EUR 52,98
Autre devise
Frais de port : EUR 7,87
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Kans Aaron Charatan Quentin
Edité par MacMillan, 2003
ISBN 10 : 0333992814 ISBN 13 : 9780333992814
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 400. N° de réf. du vendeur 7141026

Contacter le vendeur

Acheter neuf

EUR 51,80
Autre devise
Frais de port : EUR 10,45
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Kans Aaron Charatan Quentin
Edité par MacMillan, 2003
ISBN 10 : 0333992814 ISBN 13 : 9780333992814
Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 400. N° de réf. du vendeur 181788279

Contacter le vendeur

Acheter neuf

EUR 54,42
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Kans, Dr Aaron, Charatan, Dr Quentin
Edité par Palgrave Macmillan, 2003
ISBN 10 : 0333992814 ISBN 13 : 9780333992814
Neuf Couverture souple

Vendeur : WYEMART LIMITED, HEREFORD, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur mon0000061268

Contacter le vendeur

Acheter neuf

EUR 64,10
Autre devise
Frais de port : EUR 7,09
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Charatan, Quentin; Kans, Aaron
Edité par Bloomsbury Academic, 2003
ISBN 10 : 0333992814 ISBN 13 : 9780333992814
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9780333992814_new

Contacter le vendeur

Acheter neuf

EUR 93,44
Autre devise
Frais de port : EUR 4,71
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Quentin Charatan
Edité par Bloomsbury Publishing (UK), 2003
ISBN 10 : 0333992814 ISBN 13 : 9780333992814
Neuf PAP
impression à la demande

Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780333992814

Contacter le vendeur

Acheter neuf

EUR 99,27
Autre devise
Frais de port : EUR 0,75
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Quentin Charatan
Edité par Bloomsbury Publishing (UK), 2003
ISBN 10 : 0333992814 ISBN 13 : 9780333992814
Neuf PAP
impression à la demande

Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780333992814

Contacter le vendeur

Acheter neuf

EUR 94,58
Autre devise
Frais de port : EUR 5,70
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Quentin Charatan|Aaron Kans
Edité par Macmillan Education UK, 2003
ISBN 10 : 0333992814 ISBN 13 : 9780333992814
Neuf Kartoniert / Broschiert

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Kartoniert / Broschiert. Etat : New. Unique text that fills the gap between formal specifications and software implementationsIdeal first course text as assumes no previous knowledge of formal methodsIncludes end-of-chapter exercises and case study material. N° de réf. du vendeur 446889236

Contacter le vendeur

Acheter neuf

EUR 100,41
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 9 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre