Cover Image

QR Code

Formal software development from VDM to Java /

Show other versions (1)

Saved in:

Bibliographic Details
Main Author:	Charatan, Quentin
Corporate Author:	ebrary, Inc
Other Authors:	Kans, Aaron
Format:	Electronic eBook
Language:	English
Published:	Basingstoke : Palgrave Macmillan, 2004.
Subjects:	Computer software > Development. Formal methods (Computer science) Electronic books.
Online Access:	An electronic book accessible through the World Wide Web; click to view
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal software development from VDM to Java /
by: Charatan, Quentin
Published: (2004)

Software specification methods
Published: (2006)

Software specification methods
Published: (2006)

Formal methods applied to complex systems : implementation of the B method /
Published: (2014)

Formal methods applied to complex systems : implementation of the B method /
Published: (2014)

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by: Drusinsky, Doron
Published: (2006)

Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
by: Drusinsky, Doron
Published: (2006)

Formal method industrial use from model to the code /
Published: (2012)

Formal method industrial use from model to the code /
Published: (2012)

Teamwork in multi-agent systems a formal approach /
by: Dunin-Kȩplicz, Barbara
Published: (2010)

Teamwork in multi-agent systems a formal approach /
by: Dunin-Kȩplicz, Barbara
Published: (2010)

UML 2 semantics and applications
Published: (2009)

UML 2 semantics and applications
Published: (2009)

Communicating embedded systems software and design : formal methods /
Published: (2010)

Communicating embedded systems software and design : formal methods /
Published: (2010)

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Published: (2001)

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Published: (2001)

Formal languages, automata and numeration systems 2 /
by: Rigo, Michel
Published: (2014)

Formal languages, automata and numeration systems 2 /
by: Rigo, Michel
Published: (2014)

The Software developer's guide
by: Hentzen, Whil
Published: (2002)

The Software developer's guide
by: Hentzen, Whil
Published: (2002)

Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
by: Rigo, Michel
Published: (2014)

Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
by: Rigo, Michel
Published: (2014)

Component-based software development case studies /
by: Lau, Kung-Kiu
Published: (2004)

Component-based software development case studies /
by: Lau, Kung-Kiu
Published: (2004)

Computers in language research
Published: (1983)

Computers in language research
Published: (1983)

Changing software development learning to be agile /
by: Kelly, Allan, 1969-
Published: (2008)

Changing software development learning to be agile /
by: Kelly, Allan, 1969-
Published: (2008)

Software development rhythms harmonizing agile practices for synergy /
by: Lui, Kim Man
Published: (2008)

Software development rhythms harmonizing agile practices for synergy /
by: Lui, Kim Man
Published: (2008)

Agile software development evaluating the methods for your organization /
by: Koch, Alan S.
Published: (2005)

Agile software development evaluating the methods for your organization /
by: Koch, Alan S.
Published: (2005)

Software engineering architecture-driven software development /
by: Schmidt, Richard, 1956-
Published: (2013)

Software engineering architecture-driven software development /
by: Schmidt, Richard, 1956-
Published: (2013)

Lean architecture for agile software development
by: Coplien, James
Published: (2010)

Lean architecture for agile software development
by: Coplien, James
Published: (2010)

Design for software a playbook for developers /
by: Klimczak, Erik
Published: (2013)

Design for software a playbook for developers /
by: Klimczak, Erik
Published: (2013)

Concepts in data structures and software development : a text for the second course in computer science /
by: Schneider, G. Michael
Published: (1991)