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 …
ebay.it books--etc 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) Details... |
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 …
Springer.com Nr. 978-3-540-54868-3. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
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 …
amazon.de fachbuecher-weltversand Gut Costi di spedizione:Auf Lager. Le spese di spedizione possono differire dai costi effettivi. (EUR 3.00) Details... |
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 …
booklooker.de Moluna GmbH Costi di spedizione:Spese di spedizione aggiuntive., Costi di spedizione aggiuntivi Details... |
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 …
booklooker.de |
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 …
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 …
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 …
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 …
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 …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540464495 VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings (Soren Prehn; Hans Toetenel)
- 9783540464495 VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings (Soren Prehn; Hans Toetenel)
- 9783540464563 VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings (Soren Prehn; Hans Toetenel)
- 9780387548685 Vdm 91: Formal Software Development Methods : 4th International Symposium of Vdm Europe Noordwijkerhout, the Netherlands October 21-25, 1991 : Procee: 002 (Lecture Notes in Computer Science) (Netherlands) Vdm 9 (1991 Noordwijkerhout, S. Prehn, W. J. Toetenel, W. J. Toetenel, Vdm-Europe)
- 9783540548348 VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe Noordwijkerhout The Netherlands October 21-25 1991. Proceedings (Soren Prehn/ Hans Toetenel)
< Per archiviare...