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 …
Hugendubel.de Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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 …
Hugendubel.de Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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 …
Hugendubel.de Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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 …
Hugendubel.de Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
1995, ISBN: 9783540602712
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1995
lehmanns.de Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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 …
Jonathan P. Bowen/ Michael G. Hinchey:
ZUM '95: The Z Formal Specification Notation - edizione con copertina flessibileISBN: 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 …
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 …
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 …
1995, ISBN: 9783540602712
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1995
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540447825 ZUM '95: The Z Formal Specification Notation (Jonathan P. Bowen; Michael G. Hinchey)
- 9783540447825 ZUM '95: The Z Formal Specification Notation (Jonathan P. Bowen; Michael G. Hinchey)
- 9783540496762 ZUM '98: The Z Formal Specification Notation (Jonathan P. Bowen; Andreas Fett; Michael G. Hinchey)
- 9783540627173 ZUM'97: The Z Formal Specification Notation (Jonathan P. Bowen; Michael G. Hinchey; David Till)
- 9783540650706 ZUM '98: The Z Formal Specification Notation (Jonathan P. Bowen; Andreas Fett; Michael G. Hinchey)
- [(ZUM'98 the Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 Proceedings)] [by: Jonathan P. Bowen] (Jonathan P. Bowen)
< Per archiviare...