- 5 Risultati
prezzo più basso: € 106,99, prezzo più alto: € 128,50, prezzo medio: € 115,85
1
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - Hans Toetenel
Ordina
da AbeBooks.it
CHF 123,75
(indicativi € 128,50)
Spedizione: € 9,541
OrdinaLink sponsorizzato
Hans Toetenel:

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

1991, ISBN: 3540548343

[EAN: 9783540548348], Libro nuovo, [SC: 9.54], [PU: Springer Berlin Heidelberg Okt 1991], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; REASONINGABOUTPROGRAMS; SOFTWAREDEVELOPMENT; S… Altro …

NEW BOOK. Costi di spedizione: EUR 9.54 BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (su 5)]
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
€ 106,99
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: 9783540548348

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

Nr. 978-3-540-54834-8. 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. Proceedings - Soren Prehn/ Hans Toetenel
Ordina
da Hugendubel.de
€ 106,99
Spedizione: € 3,951
OrdinaLink 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 - edizione con copertina flessibile

ISBN: 9783540548348

*VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe Noordwijkerhout The Netherlands October 21-25 1991. Proceedings* - Volume 1: Conference Contributi… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., spese di spedizione aggiuntive. (EUR 3.95)
4
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 Hugendubel.de
€ 128,49
Spedizione: € 0,001
OrdinaLink 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 - edizione con copertina flessibile

ISBN: 9783540548348

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe Noordwijkerhout The Netherlands October 21-25 1991. Proceedings ab 128.49 € als Taschenbuch: Volume… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
5
Ordina
da AbeBooks.it
CHF 104,29
(indicativi € 108,30)
Spedizione: € 82,261
OrdinaLink sponsorizzato
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. . (Lecture Notes in Computer Science, 551) - edizione con copertina flessibile

1991, ISBN: 3540548343

[EAN: 9783540548348], Libro nuovo, [SC: 82.26], [PU: Springer], Books

NEW BOOK. Costi di spedizione: EUR 82.26 Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (su 5)]

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

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 Heidelberg
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-01-31T20:39:33+01: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


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 1: Conference Contributions
Editore: Springer; Springer Berlin
705 Pagine
Anno di pubblicazione: 1991-10-14
Berlin; Heidelberg; DE
Lingua: Inglese
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XV, 705 p.

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

Description is our business.- Concurrent processes as objects.- The Larch approach to specification.- Formal specification in metamorphic programming.- Formalizing design spaces: Implicit invocation mechanisms.- On type checking in VDM and related consistency issues.- Combining transformation and posit-and-prove in a VDM development.- A case for structured analysis/formal design.- A model-oriented method for algebraic specifications using COLD-1 as notation.- A mechanical formalization of several fairness notions.- Specification and stepwise development of communicating systems.- Writing operational semantics in Z: A structural approach.- EZ: A system for automatic prototyping of Z specifications.- Z and high level Petri nets.- An approach to the static semantics of VDM-SL.- Behavioural extension for CSP.- Cpo's do not form a cpo, and yet recursion works.- LPF and MPL? — A logical comparison of VDM SL and COLD-K.- Tactical tools for distributing VDM specifications.- An attempt to reason about shared-state concurrency in the style of VDM.- Reasoning about VDM specifications.- On formal specification of a proof tool.- Reasoning about VDM developments using the VDM support tool in mural.- EVES: An overview.- Deriving transitivity of VDM-reification in DEVA.- Upgrading the pre- and postcondition technique.- The formal development of a secure transaction mechanism.- Formal development of a Serial Copy Management System.- Specification and refinement in an integrated database application environment.- Techniques for partial specification and specification of switching systems.- Specification of the MAA standard in VDM.- Unintrusive ways to integrate formal specifications in practice.- An overview of HP-SL.- CICS project report experiences and results from the use of Z inIBM.- A debugger for a Meta-IV-like meta-language.- An executable subset of Meta-IV with loose specification.- Using VDM within an object-oriented framework.- The integrated software development and verification system ATES.- Using RAISE — first impressions from the LaCoS applications.- A specification of a complex programming language statement.- The prospectra system.- The visual presentation of VDM specifications.- Mural and specbox.- The VDM domain compiler a VDM class library generator.- The Delft VDM-SL front-end.- Prototyping with temporal VDM a status report.- The Exspect tool.- CADiZ - Computer aided design in Z.- The HP-ST toolset.- The RAISE toolset.- The IBM Z tool.- The VDM-SL editor and consistency checker.- B-tool.- A VDM subset compiler.

< Per archiviare...