- 5 Risultati
prezzo più basso: € 4,50, prezzo più alto: € 53,49, prezzo medio: € 24,17
1
VDM '90. VDM and Z - Formal Methods in Software Development - Dines Bjørner
Ordina
da booklooker.de
€ 53,49
Spedizione: € 2,701
Ordina
Dettagli del offerente
Link sponsorizzato
Dines Bjørner:

VDM '90. VDM and Z - Formal Methods in Software Development - edizione con copertina flessibile

2004, ISBN: 9783540525134

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal met… Altro …

Costi di spedizione: EUR 2.70 AHA-BUCH GmbH
Chiudere (X)
2
VDM '90. VDM and Z - Formal Methods in Software Development
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Formal Methods in Software Development:

VDM '90. VDM and Z - nuovo libro

ISBN: 9783540525134

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-52513-4. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
Chiudere (X)
3
Ordina
da Biblio.co.uk
$ 5,15
(indicativi € 4,76)
Spedizione: € 22,201
Ordina
Dettagli del offerente
Link sponsorizzato
Dines Bjorner, C.A.R. Hoare, Hans Langmaack:
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science 428) - edizione con copertina flessibile

1990

ISBN: 9783540525134

Springer, 1990. 580 pp., Paperback, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment on… Altro …

Costi di spedizione: EUR 22.20 Zubal Books
Chiudere (X)
4
Ordina
da Biblio.co.uk
$ 5,00
(indicativi € 4,62)
Spedizione: € 6,471
Ordina
Dettagli del offerente
Link sponsorizzato
Dines Bjorner, C. A. R. Hoare et Hans Langmaack:
Vdm '90. Vdm and Z - Formal Methods in Software Development: Third International Symposium of Vdm Europe, Kiel, Frg, April 17-21, 1990, Proc - edizione con copertina flessibile

1990, ISBN: 9783540525134

Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990. Paperback. Good. Former library book. Slight signs of wear on the cover. Edition 1990. Ammareal gives back up to 15% of this it… Altro …

Costi di spedizione: EUR 6.47 AMMAREAL
Chiudere (X)
5
Ordina
da Biblio.co.uk
$ 4,86
(indicativi € 4,50)
Spedizione: € 17,851
Ordina
Dettagli del offerente
Link sponsorizzato
Bjorner, Dines [Editor]; Hoare, C.A.R. [Editor]; Langmaack, Hans [Editor];:
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science) - edizione con copertina flessibile

1990, ISBN: 9783540525134

Springer, 1990-05-04. Paperback. Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding., Springer, 1990-05-0… Altro …

Costi di spedizione: EUR 17.85 GuthrieBooks
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:

9783540525134


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 mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.

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


EAN (ISBN-13): 9783540525134
ISBN (ISBN-10): 3540525130
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1990
Editore: Springer Berlin Heidelberg
604 Pagine
Peso: 0,900 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-04-23T07:54:37+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-03T07:43:12+02:00 (Zurich)
ISBN/EAN: 9783540525134

ISBN - Stili di scrittura alternativi:
3-540-52513-0, 978-3-540-52513-4
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : vdm, langmaack, lister arthur, hoare, dines, hans lang
Titolo del libro: kiel, 1990 band, formal methods, formal software development, vdm, mycetozoa, frg, april siebzehn, lecture notes computer science, international proceedings, symposium, notes and methods, langmaack

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: 1990-04-04
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XX, 588 p.

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

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.
< Per archiviare...