- 5 Risultati
prezzo più basso: € 44,55, prezzo più alto: € 65,45, prezzo medio: € 50,75
1
VDM '91. Formal Software Development Methods. 4th Internation... - 9783540548683 - Hans Toetenel, Soren Prehn
Ordina
da ebay.it
€ 44,55
Spedizione: € 13,181
OrdinaLink sponsorizzato
Hans Toetenel, Soren Prehn:

VDM '91. Formal Software Development Methods. 4th Internation... - 9783540548683 - edizione con copertina flessibile

ISBN: 9783540548683

ISBN-13: 9783540548683, 978-3540548683. VDM symposium presented not only VDM but also a large number. The fourth. working group consisted of reasearchers, software engineers. VDM '91. For… Altro …

99.8, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Costi di spedizione:Versand zum Fixpreis, [SHT: Spedizione celere], GU12 *** Aldershot, [TO: Regno Unito, Antigua e Barbuda, Austria, Belgio, Bulgaria, Repubblica di Croazia, Cipro, Repubblica Ceca, Danimarca, Estonia, Finlandia, Francia, Germania, Grecia, Ungheria, Irlanda, Italia, Lettonia, Lituania, Lussemburgo, Malta, Paesi Bassi, Polonia, Portogallo, Romania, Slovacchia, Slovenia, Spagna, Svezia, Australia, Stati Uniti, Bahrain, Canada, Brasile, Giappone, Nuova Zelanda, Cina, Israele, Hong Kong, Norvegia, Indonesia, Malaysia, Messico, Singapore, Corea del Sud, Svizzera, Taiwan, Thailandia, Bangladesh, Belize, Bermuda, Bolivia, Barbados, Brunei Darussalam, Isole Cayman, Dominica, Ecuador, Egitto, Guernsey, Gibilterra, Guadalupa, Grenada, Guyana francese, Islanda, Jersey, Giordania, Cambogia, Saint Kitts e Nevis, Santa Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Maldive, Montserrat, Martinica, Nicaragua, Pakistan, Perù, Paraguay, Riunione, Isole Turks e Caicos, Aruba, Arabia Saudita, Sud Africa, E. (EUR 13.18) books--etc
2
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Procee
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
OrdinaLink sponsorizzato
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Procee - nuovo libro

ISBN: 9783540548683

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 199… Altro …

Nr. 978-3-540-54868-3. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
3
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... Notes in Computer Science, 552, Band 2) - Toetenel, Hans, Prehn, Soren
Ordina
da amazon.de
€ 45,14
Spedizione: € 3,001
OrdinaLink sponsorizzato
Toetenel, Hans, Prehn, Soren:
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. ... Notes in Computer Science, 552, Band 2) - edizione con copertina flessibile

2008

ISBN: 9783540548683

Springer, Taschenbuch, Auflage: 1991, 448 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 1, 1.39 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Intern… Altro …

Gut Costi di spedizione:Auf Lager. Le spese di spedizione possono differire dai costi effettivi. (EUR 3.00) fachbuecher-weltversand
4
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
€ 65,45
OrdinaLink 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: 9783540548683

edizione con copertina flessibile

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], The proceedings of the fourth Vienna Development MethodSymposium, VDM 91, are published here in two volumes.Previous VDM … Altro …

Costi di spedizione:Spese di spedizione aggiuntive., Costi di spedizione aggiuntivi Moluna GmbH
5
VDM '91. Formal Software Development Methods. - BUCH - Prehn and Toetenel
Ordina
da booklooker.de
€ 45,14
Spedizione: € 17,901
OrdinaLink sponsorizzato
BUCH - Prehn and Toetenel:
VDM '91. Formal Software Development Methods. - edizione con copertina flessibile

1991, ISBN: 9783540548683

[PU: Springer Berlin Heidelberg], 444 Seiten Taschenbuch ex Library Book / aus einer wissenschaftlichen Bibliothek Sofort verfügbar / daily shipping worldwide with invoice /, DE, [SC: 17.… Altro …

Costi di spedizione:Spedizione in Svizzera. (EUR 17.90) NEPO UG

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. ... Notes in Computer Science, 552, Band 2)

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 the VDM Europe,formed in 1985 as an advisory board sponsored by theCommission of the European Communities. The VDM Europeworking group consisted of reasearchers, software engineers,and programmers, all interested in prommoting 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 the 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.Volume2 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. ... Notes in Computer Science, 552, Band 2)


EAN (ISBN-13): 9783540548683
ISBN (ISBN-10): 3540548688
Copertina flessibile
Anno di pubblicazione: 1991
Editore: Springer
448 Pagine
Peso: 0,672 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-04-04T20:05:59+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-01-31T20:39:33+01:00 (Rome)
ISBN/EAN: 3540548688

ISBN - Stili di scrittura alternativi:
3-540-54868-8, 978-3-540-54868-3
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : vdm, han sor, much hans, prehn, hans soren
Titolo del libro: 1991 band, netherlands, formal methods, formal software development, vdm, october, noor, noordwijk, the tutorial, looking for europe, ufo symposium, international, proceedings


Dati dell'editore

Autore: Soren Prehn; Hans Toetenel
Titolo: Lecture Notes in Computer Science; VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Volume 2: Tutorials
Editore: Springer; Springer Berlin
433 Pagine
Anno di pubblicazione: 1991-10-14
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XV, 433 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Bedeutung von Programmen; Formale Methoden; Programm Verification; Programm Verifikation; Reasoning About Programs; Software Development; Software Entwicklung; Software Specification; Software Spezifikation; Vienna Development Method; formal method; verification; Software Engineering; Theory of Computation; Computer Science Logic and Foundations of Programming; Theoretische Informatik; EA

A tutorial on Larch and LCL, a Larch/C interface language.- A tutorial on the refinement calculus.- Tutorial lecture notes on the Irish School of the VDM.- The RAISE specification language a tutorial.- Formal Development with ABEL.- The PROSPECTRA methodology and system: uniform transformational (meta-) development.- The B-method.- Mathematical methods for digital systems development.

< Per archiviare...