Titel
ZUM'97: The Z Formal Specification Notation - 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
Schrijver
Taal
Engels
ISBN
9783540627173
Uitgever
Springer-Verlag GmbH
Prijs
€ 61,20(Excl. verzendkosten)
Verzendkosten
€ 2,95
Bijzonderheden
1997 452pp Paperback / softback
Meer info
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.
- Dit boek is nieuw
- Van toepassing zijn de Algemene Verkoopvoorwaarden Boekstra
- Na uw bestelling ontvangen u en Boekstra een bevestiging per e-mail.
- U handelt deze bestelling rechtstreeks af met Boekstra. In de e-mail staan de naam,adres, woonplaats en telefoonnummer van Boekstra vermeld.
- Boekstra kan betaling vooraf vragen.
- De Koper betaalt de verzendkosten, tenzij anders overeen gekomen.
- Boekwinkeltjes.nl brengt u en Boekstra uitsluitend tot elkaar en is op generlei wijze verantwoordelijk voor de afwikkeling van deze bestelling.