'91: 4th International Symposium of Europe, The Netherlands, October 1991, Proceedings, Volume 1: Conference Contributions (Lecture Notes in Computer Science 551)
5 Angebote vergleichen
Bester Preis: € 0,91 (vom 11.11.2016)1
Symbolbild
VDM '91: 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 1991, Proceedings, Volume 1: Conference Contributions (Lecture Notes in Computer Science 551) (1991)
EN PB US
ISBN: 9780387548685 bzw. 0387548688, Band: 1, in Englisch, Springer-Verlag, Taschenbuch, gebraucht.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: USA.
Von Händler/Antiquariat, PsychoBabel & Skoob Books.
Berlin: Springer-Verlag, 1991. Lecture Notes in Computer Science 551; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.. paperback. Very Good/No Dust Jacket. Ex-Library.
Von Händler/Antiquariat, PsychoBabel & Skoob Books.
Berlin: Springer-Verlag, 1991. Lecture Notes in Computer Science 551; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.. paperback. Very Good/No Dust Jacket. Ex-Library.
2
Vdm 91: Formal Software Development Methods : 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991: (Lecture Notes in Computer Science 552) (1991)
EN PB NW
ISBN: 9780387548685 bzw. 0387548688, Bände: 1, 2, in Englisch, Springer-Verlag, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, DelhiBookStore.
The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of reasearchers, software engineers, and programmers, all interested in prommoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains the conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume 2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, THE B Method, and The Stack). They present a comprehensive account of the state of the art. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1991-11, Studio: Springer-Verlag, Verkaufsrang: 17369975.
Von Händler/Antiquariat, DelhiBookStore.
The proceedings of the fourth Vienna Development Method Symposium, VDM '91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252), 1988 (LNCS 328), and 1990 (LNCS 428). The VDM symposia have been organized by the VDM Europe, formed in 1985 as an advisory board sponsored by the Commission of the European Communities. The VDM Europe working group consisted of reasearchers, software engineers, and programmers, all interested in prommoting the industrial usage of formal methods for software development. The fourth VDM symposium presented not only VDM but also a large number of other methods for formal software development. Volume 1 contains the conference contributions. It has four parts: contributions of invited speakers, papers, project reports, and tools demonstration abstracts. The emphasis is on methods and calculi for development, verification and verification tools support, experiences from doing developments, and the associated theoretical problems. Volume 2 contains four introductory tutorials (on LARCH, Refinement Calculus, VDM, and RAISE) and four advanced tutorials (on ABEL, PROSPECTRA, THE B Method, and The Stack). They present a comprehensive account of the state of the art. Paperback, Label: Springer-Verlag, Springer-Verlag, Produktgruppe: Book, Publiziert: 1991-11, Studio: Springer-Verlag, Verkaufsrang: 17369975.
3
Symbolbild
Vdm 91: Formal Software Development Methods : 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991: (Lecture Notes in Computer Science, Volume 552) (1991)
EN HC
ISBN: 9780387548685 bzw. 0387548688, Band: 552, in Englisch, Springer, gebundenes Buch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Zubal Books.
Springer, 1991. 430 pp., Hardback, rebound in buckram , ex library, else text clean and binding tight.
Von Händler/Antiquariat, Zubal Books.
Springer, 1991. 430 pp., Hardback, rebound in buckram , ex library, else text clean and binding tight.
4
Symbolbild
Vdm 91: Formal Software Development Methods : 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991: (Lecture Notes in Computer Science 552) (1991)
EN PB US
ISBN: 9780387548685 bzw. 0387548688, in Englisch, Springer, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1991-11. Paperback. Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.
Von Händler/Antiquariat, Ergodebooks.
Springer, 1991-11. Paperback. Good. Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.
5
Symbolbild
Vdm 91: Formal Software Development Methods: 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991: (Lecture Notes in Computer Science 552) (1991)
EN PB US
ISBN: 9780387548685 bzw. 0387548688, in Englisch, Springer, Deutschland, Taschenbuch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, SHIP_UK_FAST.
Paperback. Very Good.
Von Händler/Antiquariat, SHIP_UK_FAST.
Paperback. Very Good.
Lade…