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 … mais…
Hugendubel.de Custos de envio: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… mais…
Hugendubel.de Custos de envio: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 … mais…
Hugendubel.de Custos de envio: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… mais…
Hugendubel.de Custos de envio: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 Custos de envio: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 … mais…
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… mais…
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 … mais…
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… mais…
1995, ISBN: 9783540602712
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1995
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - ZUM '95: The Z Formal Specification Notation
EAN (ISBN-13): 9783540602712
ISBN (ISBN-10): 3540602712
Livro de capa dura
Livro de bolso
Ano de publicação: 1995
Editor/Editora: Springer Berlin Heidelberg
571 Páginas
Peso: 0,888 kg
Livro na base de dados desde 2007-10-12T10:00:08-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-10-06T16:11:01-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540602712
Número ISBN - Ortografia alternativa:
3-540-60271-2, 978-3-540-60271-2
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: will bowen, jonathan
Título do livro: 1995 band, computer notes, limerick, notation, proceedings the 9th international, zum, september, ireland
Dados da editora
Autor: Jonathan P. Bowen; Michael G. Hinchey
Título: 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
Editora: Springer; Springer Berlin
583 Páginas
Ano de publicação: 1995-08-23
Berlin; Heidelberg; DE
Língua: Inglês
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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)
< Para arquivar...