Cover Image

Applications of formal methods/

Other Authors:	Hinchey, Michael G., Bowen, Jonathan P.
Format:	Book
Language:	English
Published:	London: Prentice Hall, 1995
Series:	Prentice-Hall international series in computer science
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)

Tools and algorithms for the construction and analysis of systems: 5th international conference , TACAS ʹ99 held as part of the Joint European Conferences on theory and practice of software, ETAPS ʹ99 Amsterdam, The Netherlands, March 22-28, 1999 proceedings/
by: Cleaveland, W. Rance
Published: (1999)

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

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

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)

Computer systems: : concepts and design/
by: Gibson, Glenn A.
Published: (1991)

Real-life MDA solving business problems with model driven architecture /
by: Guttman, Michael.
Published: (2005)

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)

DIS ʹ97 : Conference Proceedings: Designing Interactive Systems: Processes, Practices, Methods and Techniques /
Published: (1997)

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

VDM ʹ90. VDM and Z-Formal methods in software development : Third international symposium of VDM Europe Kiel, FRG, April 1990: Proceedings ; D. Bjorner, C. A. R. Hoare, H. Langmaack
Published: (1990)

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)

Introduction to stateflow with applications
by: Karris, Steven T.
Published: (2007)

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

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

Service-oriented architecture (SOA) compass : business value, planning, and enterprise roadmap /
Published: (2006)

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)

Basic information systems analysis and design /
by: Chester, Myrvin, 1951-
Published: (2002)

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

The art of analysis/
by: Langer, Arthur M.
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)

Formal methods applied to complex systems /

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

Cannot write session to /tmp/vufind_sessions/sess_h2rbqgvubn7vqs8ijqsovbtj75