VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings Volume 1: Conference Contributions - novo libro
1991, ISBN: 3540548343
1991 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Theoretische Informatik, ReasoningAboutPrograms; Softwaredevelopment; Softwareentwicklung; Softwaresp… mais…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Custos de envio: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 - primeira edição
1991, ISBN: 9783540548348
Livro de bolso
[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… mais…
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 - novo 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… mais…
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) - Livro de bolso
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 - primeira edição
1991, ISBN: 9783540548348
Livro de bolso
Volume 1: Conference Contributions, Buch, Softcover, 1991, [PU: Springer Berlin], Springer Berlin, 1991
lehmanns.de Custos de envio: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 - novo libro
1991, ISBN: 3540548343
1991 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Theoretische Informatik, ReasoningAboutPrograms; Softwaredevelopment; Softwareentwicklung; Softwaresp… mais…
Prehn, Soren Toetenel, Hans:
VDM 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings - primeira edição1991, ISBN: 9783540548348
Livro de bolso
[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… mais…
no/na Biblio.co.uk
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 1: Conference Contributions - novo 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… mais…
no/na 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) - Livro de bolso
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 - primeira edição
1991, ISBN: 9783540548348
Livro de bolso
Volume 1: Conference Contributions, Buch, Softcover, 1991, [PU: Springer Berlin], Springer Berlin, 1991
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - 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
Livro de bolso
Ano de publicação: 1991
Editor/Editora: Springer Berlin
720 Páginas
Peso: 1,069 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-10-18T15:12:32+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-04-03T08:39:32+01:00 (Lisbon)
Número ISBN/EAN: 3540548343
Número ISBN - Ortografia alternativa:
3-540-54834-3, 978-3-540-54834-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: vdm, han sor, hans much, hans will, prehn, hans soren
Título do livro: 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
Dados da editora
Autor: Soren Prehn; Hans Toetenel
Título: 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
Editora: Springer; Springer Berlin
705 Páginas
Ano de publicação: 1991-10-14
Berlin; Heidelberg; DE
Língua: Inglês
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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)
< Para arquivar...