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 …
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.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: 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 …
booklooker.de |
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 …
Biblio.co.uk |
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
Biblio.co.uk |
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
lehmanns.de Costi di spedizione:Versand in 7-10 Tagen. (EUR 0.00) Details... |
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 …
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 edizione1991, 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 …
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 …
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
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
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. 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 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-03T09:39:32+02:00 (Zurich)
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.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)
- 9783540548683 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)
< Per archiviare...