- 5 Risultati
prezzo più basso: € 106,99, prezzo più alto: € 112,49, prezzo medio: € 110,26
1
ZUM '95: The Z Formal Specification Notation - Jonathan P. Bowen/ Michael G. Hinchey
Ordina
da Hugendubel.de
€ 106,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Jonathan P. Bowen/ Michael G. Hinchey:

ZUM '95: The Z Formal Specification Notation - edizione con copertina flessibile

ISBN: 9783540602712

*ZUM '95: The Z Formal Specification Notation* - 9th International Conference of Z Users Limerick Ireland September 7 - 9 1995. Proceedings. Auflage 1995 / Taschenbuch für 106.99 € / Aus … Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
2
ZUM '95: The Z Formal Specification Notation - Jonathan P. Bowen/ Michael G. Hinchey
Ordina
da Hugendubel.de
€ 112,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Jonathan P. Bowen/ Michael G. Hinchey:

ZUM '95: The Z Formal Specification Notation - edizione con copertina flessibile

ISBN: 9783540602712

ZUM '95: The Z Formal Specification Notation ab 112.49 € als Taschenbuch: 9th International Conference of Z Users Limerick Ireland September 7 - 9 1995. Proceedings. Auflage 1995. Aus dem… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
3
ZUM '95: The Z Formal Specification Notation - Jonathan P. Bowen/ Michael G. Hinchey
Ordina
da Hugendubel.de
€ 106,99
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Jonathan P. Bowen/ Michael G. Hinchey:
ZUM '95: The Z Formal Specification Notation - edizione con copertina flessibile

ISBN: 9783540602712

*ZUM '95: The Z Formal Specification Notation* - 9th International Conference of Z Users Limerick Ireland September 7 - 9 1995. Proceedings. Auflage 1995 / Taschenbuch für 106.99 € / Aus … Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
4
ZUM '95: The Z Formal Specification Notation - Jonathan P. Bowen/ Michael G. Hinchey
Ordina
da Hugendubel.de
€ 112,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Jonathan P. Bowen/ Michael G. Hinchey:
ZUM '95: The Z Formal Specification Notation - edizione con copertina flessibile

ISBN: 9783540602712

ZUM '95: The Z Formal Specification Notation ab 112.49 € als Taschenbuch: 9th International Conference of Z Users Limerick Ireland September 7 - 9 1995. Proceedings. Auflage 1995. Aus dem… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
5
ZUM '95: The Z Formal Specification Notation - Jonathan P. Bowen; Michael G. Hinchey
Ordina
da lehmanns.de
€ 112,34
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Jonathan P. Bowen; Michael G. Hinchey:
ZUM '95: The Z Formal Specification Notation - edizione con copertina flessibile

1995, ISBN: 9783540602712

9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1995

Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00)
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
ZUM '95: The Z Formal Specification Notation
Autore:
Titolo:
ISBN:

9783540602712


This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.

Informazioni dettagliate del libro - ZUM '95: The Z Formal Specification Notation


EAN (ISBN-13): 9783540602712
ISBN (ISBN-10): 3540602712
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1995
Editore: Springer Berlin Heidelberg
571 Pagine
Peso: 0,888 kg

Libro nella banca dati dal 2007-10-12T15:00:08+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-10-06T21:11:01+02:00 (Zurich)
ISBN/EAN: 9783540602712

ISBN - Stili di scrittura alternativi:
3-540-60271-2, 978-3-540-60271-2
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : will bowen, jonathan
Titolo del libro: 1995 band, computer notes, limerick, notation, proceedings the 9th international, zum, september, ireland

Dati dell'editore

Autore: Jonathan P. Bowen; Michael G. Hinchey
Titolo: Lecture Notes in Computer Science; ZUM '95: The Z Formal Specification Notation - 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
Editore: Springer; Springer Berlin
583 Pagine
Anno di pubblicazione: 1995-08-23
Berlin; Heidelberg; DE
Lingua: Inglese
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIII, 583 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Formale Methoden; Formale Spezifikation; Software Engineering; Spezifikationssprache Z; Systementwicklung; formal method; formal methods; formal specification; object; software enginering; system development; testing; z specification language; combinatorics; Software Engineering; Compilers and Interpreters; Symbolic and Algebraic Manipulation; Programming Techniques; Discrete Mathematics; Compiler und Übersetzer; Mathematik für Informatiker; Computerprogrammierung und Softwareentwicklung; Diskrete Mathematik; EA

Language-free mathematical methods for software design extended abstract.- A formal approach to software design: The Clepsydra methodology.- Refining database systems.- Structuring a Z specification to provide a formal framework for autonomous agent systems.- On the use of formal specifications in the design and simulation of artificial neural networks.- Structuring specification in Z to build a unifying framework for hypertext systems.- Mechanizing formal methods: Opportunities and challenges.- An algebraic proof in VDM ?.- Testing as abstraction.- Improving software tests using Z Specifications.- Compilation of Z specifications into C for automatic test result evaluation.- Equal rights for schemas in Z.- Structuring Z specifications: Some choices.- Experiments with the Z interchange format and SGML.- The future of industrial formal methods.- Specifications and their use in defining subtypes.- How firing conditions help inheritance.- Extending W for Object-Z.- A formal semantics for a language with type extension.- From Z to code: A graphical user interface for a radiation therapy machine.- The French population census for 1990.- Implementing Z in Isabelle.- The Z-into-Haskell tool-kit: An illustrative case study.- Types and sets in Gödel and Z.- Exploring specifications with Mathematica.- Using Z to rigorously review a specification of a Network Management System.- A two-dimensional view of integrated formal and informal specification techniques.- Viewpoints and objects.- Teaching programming as engineering.- A course on formal methods in software engineering: Matching requirements with design.- Hints for writing specifications.- Mental models of Z: I — Sets and logic.- Equational logic: A great pedagogical tool for teaching a skill in logic.- Z Browser — Toolfor visualisation of Z specifications.- Select Z bibliography.- Comp.specification.z and Z forum frequently asked questions.
< Per archiviare...