Cover Image

Applications of formal methods /

Other Authors:	Hinchey, Michael G., Bowen, J. P.
Format:	Book
Language:	English
Published:	London : Prentice Hall, 1995.
Subjects:	System design Computer software > Development

Similar Items

Applications of formal methods/
Published: (1995)

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

Formal specification: techniques and applications/
by: Nissanke, Nimal
Published: (1999)

Beyond programming : to a new era of design /
by: Blum, Bruce I.
Published: (1996)

Patterns of enterprise application architecture /
by: Fowler, Martin, 1963-
Published: (2003)

Enabling applications for grid computing with Globus
Published: (2003)

System-On-A-Chip verification methodology and techniques /
by: Rashinkar, Prakash, 1960-
Published: (2001)

System-On-A-Chip verification: methodology and techniques/
by: Rashinkar, Prakash, 1960-
Published: (2001)

The RAISE development method /
Published: (1995)

Ios application development for dummies /
by: Feiler, Jesse,

Xcode 4 cookbook over 100 recipes to build your own fun and exciting iOS applications /
by: Daniel, Steven F.
Published: (2013)

DIS2000 : Designing Interactive Systems, Processes, Practices, Methods and Techniques : 17-19 August 2000, New York City : conference proceedings /
Published: (2000)

Windows phone 7.5 application development with F# develop amazing applications for Windows Phone using F# /
by: N., Lohith G.
Published: (2013)

The business value of agile software methods maximizing ROI with just-in-time processes and documentation /
by: Rico, David F., 1964-
Published: (2009)

Building Delphi 6 applications /
by: Kimmel, Paul
Published: (2001)

Rapid application development/
by: Martin, James Kirby, 1943-
Published: (1991)

The B language and method : a guide to practical formal development/
by: Lano, K.
Published: (1996)

Formal methods and models for system design: a system level perspective/
Published: (2004)

Beginning Windows 8 application development
by: Novβak, Istvβan.
Published: (2012)

Computer application for engineering
by: Khanna, Rajiv.
Published: (2007)

Requirements engineering :a good practice guide /
by: Sommerville, Ian, 1951-
Published: (1997)

Building applications in the cloud : concepts, patterns, and projects /
by: Moyer, Christopher M.
Published: (2011)

Developing user interfaces : ensuring usability through product & process /
by: Hix, Deborah, 1950-
Published: (1993)

Form+code in design, art, and architecture
by: Reas, Casey.
Published: (2010)

Proceedings of FMSP'00 : the Third Workshop on Formal Methods in Software Practice : August 24-25, 2000, Portland, Oregon, USA /
Published: (2000)

Proceedings of FMSP'00: the Third Workshop on Formal Methods in Software Practice: August 24-25, 2000, Portland, Oregon, USA/
Published: (2000)

ISSS : 14th International Symposium on System Synthesis : Montrâeal, Canada, September 30-October 3, 2001 /
Published: (2001)

Grid computing for developers
by: Silva, Vladimir, 1969-
Published: (2006)

Developing user interfaces /
by: Olsen, Dan R. 1953-
Published: (1998)

Δομή ψηφιακών ηλεκτρονικών υπολογιστών/
by: Λεοντίτσης, Ανδρέας
Published: (1996)

Software in 30 days how Agile managers beat the odds, delight their customers, and leave competitors in the dust /
by: Schwaber, Ken.
Published: (2012)

Microsoft Silverlight 4 business application development beginner's guide : build enterprise-ready business applications with Silverlight /
by: LaVigne, Frank.
Published: (2010)

Specification and transformation of programs : a formal approach tosoftware development /
by: Partsch, Helmut A., 1950-
Published: (1990)

Knowledge-Based Software Engineering : Proceedings of the Seventh Joint Conference on Knowledge-Based Software Engineering /
Published: (2006)

EUROMICRO 95: Design of Hardware/Software Systems : proceedings of the 21nd EUROMICRO conference/
Published: (1995)

International Workshop on Multimedia Software Development: proceedings, Berlin, Germany, March 25-26, 1996/
Published: (1996)

Principles and applications of distributed event-based systems /
Published: (2010)

Software ecosystem : understanding an indispensable technology and industry /
by: Messerschmitt, David G.
Published: (2003)

Model-driven business process engineering /

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

Cannot write session to /tmp/vufind_sessions/sess_dvcr1ekmsfkhb17jmlq7nhpql3