Titre
ZUM'97: The Z Formal Specification Notation - 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Auteur
Langue
anglais
ISBN
9783540627173
Éditeur
Springer-Verlag GmbH
Prix
€ 61,20(Excl. toute livraison)
Détails
1997 452pp Paperback / softback
Plus d'informations
Annotatie
This book constitutes the refereed proceedings of the 10th International Conference of Z Users,B ZUM'97/B, held in Reading, UK, in April 1997.BRThe volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topic
Flaptekst
This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997.
The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.
Bij Boekstra koopt u nieuwe boeken tegen de vastgestelde boekenprijs.
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,90 euro GEEN verzendkosten binnen Nederland.
Verzendkosten België 3,95 euro per zending.
Bij bestellingen van 10 euro of minder zijn de verzendkosten hoger; zie vermelding bij het boek.
Speciale verzoeken? Meestal geen punt, vermeld ze in het veld opmerking.
De actuele levertijd kunt u vinden op onze website.
- Ce livre est nouveau
- Conditions d'utilisation
- Après votre commande, vous et Boekstra recevrez un e-mail de confirmation
- Vous traitez directement avec Boekstra. Dans le courrier électronique, vous pouvez trouver le nom et l'adresse de Boekstra
- Boekstra peut demander un prépaiement
- L'acheteur paie les frais de livraison, sauf accord contraire
- Boekwinkeltjes.nl vous réunis uniquement vous et boekstra et n'est pas responsable du traitement de cette commande