- 4 Risultati
prezzo più basso: € 42,79, prezzo più alto: € 85,59, prezzo medio: € 73,74
1
VDM '90. VDM and Z - Formal Methods in Software Development - Dines Bjørner; C.A.R. Hoare; Hans Langmaack
Ordina
da Springer.com
€ 85,59
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Dines Bjørner; C.A.R. Hoare; Hans Langmaack:

VDM '90. VDM and Z - Formal Methods in Software Development - nuovo libro

ISBN: 9783540470069

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematic… Altro …

new in stock. Costi di spedizione:zzgl. Versandkosten. (EUR 0.00)
Chiudere (X)
2
VDM '90. VDM and Z - Formal Methods in Software Development
Ordina
da Springer.com
€ 42,79
Ordina
Dettagli & spedizione
Link sponsorizzato

Formal Methods in Software Development:

VDM '90. VDM and Z - nuovo libro

ISBN: 9783540470069

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematic… Altro …

Nr. 978-3-540-47006-9. Costi di spedizione:Worldwide free shipping, , zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
3
VDM '90. VDM and Z - Formal Methods in Software Development - Dines Bjørner; C.A.R. Hoare; Hans Langmaack
Ordina
da Springer.com
€ 83,29
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Dines Bjørner; C.A.R. Hoare; Hans Langmaack:
VDM '90. VDM and Z - Formal Methods in Software Development - nuovo libro

ISBN: 9783540470069

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering Entwurfsmethodik, Spezifikationsmeth… Altro …

  - Costi di spedizione: EUR 0.00
Chiudere (X)
4
VDM '90. VDM and Z - Formal Methods in Software Development - Dines Bjørner; C.A.R. Hoare; Hans Langmaack
Ordina
da Springer.com
€ 83,29
Ordina
Dettagli & spedizione
Link sponsorizzato
Dines Bjørner; C.A.R. Hoare; Hans Langmaack:
VDM '90. VDM and Z - Formal Methods in Software Development - nuovo libro

ISBN: 9783540470069

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering Entwurfsmethodik, Spezifikationsmeth… Altro …

  - Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
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 '90. VDM and Z - Formal Methods in Software Development
Autore:
Titolo:
ISBN:

9783540470069

Informazioni dettagliate del libro - VDM '90. VDM and Z - Formal Methods in Software Development


EAN (ISBN-13): 9783540470069
Editore: Springer Science+Business Media

Libro nella banca dati dal 2017-01-15T10:01:52+01:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-01-31T20:39:32+01:00 (Rome)
ISBN/EAN: 9783540470069

ISBN - Stili di scrittura alternativi:
978-3-540-47006-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : langmaack
Titolo del libro: software

Dati dell'editore

Autore: Dines Bjørner; C.A.R. Hoare; Hans Langmaack
Titolo: Lecture Notes in Computer Science; VDM '90. VDM and Z - Formal Methods in Software Development - Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Editore: Springer; Springer Berlin
588 Pagine
Anno di pubblicazione: 2005-06-30
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XX, 588 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Entwurfsmethodik; Spezifikationsmethodik; design; distributed systems; formal method; formalisation; programming; software engineering; specification methodology; verteilte Systeme; C; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Science; Software Engineering; BC

Object orientation and formal techniques.- An algebraic approach to refinement.- Modal logic programming.- Z specification of an object manager.- Correctness in the small.- A formal approach to hypertext using post-prototype formal specification.- Programming with VDM domains.- A buffering system implementation using VDM.- Formal specifications as reusable frameworks.- Z and the refinement calculus.- Modularizing the formal description of a database system.- Modular extensions to Z.- Adding abstract datatypes to Meta-IV.- Towards a semantics for object-Z.- HOOD and Z for the development of complex software systems.- Using Z as a specification calculus for object-oriented systems.- Specifying open distributed systems with Z.- Refinement of state-based concurrent systems.- Refining data to processes.- Two approaches towards the formalisation of VDM.- Type checking BSI/VDM-SL.- Type inference in Z.- Recursive definitions revisited.- Towards the semantics of the definitional language of MetaSoft.- On conservative extensions of syntax in the process of system development.- A formal semantics for Z and the link between Z and the relational algebra.- A naive domain universe for VDM.
This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.
< Per archiviare...