- 5 Risultati
prezzo più basso: € 91,95, prezzo più alto: € 222,18, prezzo medio: € 131,34
1
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings Volume 1: Conference Contributions - Toetenel, Hans (Herausgeber); Prehn, Soren (Herausgeber)
Ordina
da Achtung-Buecher.de
€ 115,34
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Toetenel, Hans (Herausgeber); Prehn, Soren (Herausgeber):

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings Volume 1: Conference Contributions - nuovo libro

1991, ISBN: 3540548343

1991 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Theoretische Informatik, ReasoningAboutPrograms; Softwaredevelopment; Softwareentwicklung; Softwaresp… Altro …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Chiudere (X)
2
VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Prehn, Soren Toetenel, Hans
Ordina
da booklooker.de
€ 91,95
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Prehn, Soren Toetenel, Hans:

VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Prima edizione

1991, ISBN: 9783540548348

edizione con copertina flessibile

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The proceedings of the fo… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
Chiudere (X)
3
Ordina
da Biblio.co.uk
$ 129,99
(indicativi € 120,24)
Spedizione: € 4,701
Ordina
Dettagli del offerente
Link sponsorizzato
Soren Prehn:
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 1: Conference Contributions - nuovo libro

ISBN: 9783540548348

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Net… Altro …

Costi di spedizione: EUR 4.70 Ria Christie Collections
Chiudere (X)
4
Ordina
da Biblio.co.uk
$ 240,20
(indicativi € 222,18)
Spedizione: € 19,421
Ordina
Dettagli del offerente
Link sponsorizzato
Soren Prehn (Editor), Hans Toetenel (Editor):
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... (Lecture Notes in Computer Science) - edizione con copertina flessibile

1991, ISBN: 9783540548348

Springer, 1991-11-15. 1991. Paperback. Used:Good., Springer, 1991-11-15, 0

Costi di spedizione: EUR 19.42 Ergodebooks
Chiudere (X)
5
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Soren Prehn; Hans Toetenel
Ordina
da lehmanns.de
€ 106,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Soren Prehn; Hans Toetenel:
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Prima edizione

1991, ISBN: 9783540548348

edizione con copertina flessibile

Volume 1: Conference Contributions, Buch, Softcover, 1991, [PU: Springer Berlin], Springer Berlin, 1991

Costi di spedizione:Versand in 7-10 Tagen. (EUR 0.00)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings
Autore:
Titolo:
ISBN:

3540548343


The proceedings of the fourth Vienna Development MethodSymposium, 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 VDM Europe, formedin 1985 as an advisory board sponsored by the Commission ofthe European Communities. The VDM Europe working groupconsisted of researchers, software engineers, andprogrammers, allinterested in promoting the industrialusage of formal methods for software development. The fourthVDM symposium presented not only VDM but also a large numberof other methods for formal software development.Volume 1 contains conference contributions. It has fourparts: contributions of invited speakers, papers, projectreports, and tools demonstration abstracts. The emphasis ison methods and calculi for development, verification andverification tools support, experiences from doingdevelopments, and the associated theoretical problems.Volume 2 contains four introductory tutorials (on LARCH,Refinement Calculus, VDM, and RAISE) and four advancedtutorials (on ABEL, PROSPECTRA, The B Method, and TheStack). They present a comprehensive account of the state oftheart.

Informazioni dettagliate del libro - VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings


EAN (ISBN-13): 9783540548348
ISBN (ISBN-10): 3540548343
Copertina flessibile
Anno di pubblicazione: 1991
Editore: Springer Berlin
720 Pagine
Peso: 1,069 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-10-18T16:12:32+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-04-03T09:39:32+02:00 (Rome)
ISBN/EAN: 3540548343

ISBN - Stili di scrittura alternativi:
3-540-54834-3, 978-3-540-54834-8
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : vdm, han sor, hans much, hans will, prehn, hans soren
Titolo del libro: netherlands, formal methods, formal software development, vdm, contributions, proceedings the international symposium, conference, contribution, the note, october, noor, lecture notes artificial intelligence, noordwijk, looking for europe, ufo symposium

< Per archiviare...