Cover Image

QR Code

Modern formal methods and applications

Published:	Dordrecht: Springer, 2006.
Subjects:	Formal methods (Computer science) Formal methods (Computer science) -- > Industrial applications

Similar Items

Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014, Proceedings Christiano Braga [et al.], (eds.)..
Published: (2015)

Industrial strength formal methods in practice Michael G. Hinchey and Jonathan P. Bowen.
Published: (1999)

Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 December 2, 2005 : proceedings Judi Romijn, Graeme Smith, Jaco van de Pol (eds.).
Published: (2005)

FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings edited by Nikolaj Bjorner, Frank de Boer..
Published: (2015)

Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers editors Carlos Canal, Akram Idani.
Published: (2015)

Formal specification : techniques and applications Nimal Nissankke.
by: Nissanke
Published: (1999)

Software specification methods edited by Henri Habrias, Marc Frappier.
Published: (2006)

Design patterns formalization techniques Toufik Taibi, editor.
Published: (2007)

Dynamic logic David Harel, Dexter Kozen, Jerzy Tiuryn.
by: Harel
Published: (2000)

Validated designs for object-oriented systems John Fitzgerald ... [et al.].
Published: (2005)

Theory of formal languages with applications by Dan Simovici & Richard L. Tenney..
by: Simovici
Published: (1999)

Formal models of computation : the ultimate limits of computing Arthur Fleck.
by: Fleck, Arthur
Published: (2001)

Language computability and formal language theory edited Gerard Prudhomme.
Published: (2018)

An introduction to formal languages and automata Peter Linz.
by: Linz
Published: (2006)

Object-oriented methods Ian Graham.
by: Graham, Ian

Software engineering : modern approaches Eric J. Braude, Michael E. Bernstein.
by: Braude, Eric J.
Published: (2011)

UML @ Classroom : an introduction to object-oriented modeling Martina Seidl...[et.al].
Published: (2015)

Object-oriented analysis and design : a pragmatic approach John Deacon.
by: Deacon, John
Published: (2005)

Object-oriented systems development : a gentle introduction Carol Britton, and Jill Doake.
by: Brittton, 1947-
Published: (2000)

Developing applications with Java and UML Paul R.Reed, Jr..
by: Reed
Published: (2002)

Streamlined object modeling : patterns, rules, and implementation Jill Nicola, Mark Mayfield, Mike Abney.
by: Nicola
Published: (2002)

OMT insights : perspectives on modelling from the journal of object oriented programming James Rumbaugh.
by: Rumbaugh
Published: (1996)

Student study guide with IBM SPSS workbook for research methods, statistics, and applications Kathrynn A. Adams, Eva K. Lawrence.
by: Adams, Kathrynn A
Published: (2019)

Object-oriented systems analysis and design using UML Simon Bennett, Steve McRobb and Ray Farmer.
by: Bennett, Simon
Published: (2002)

Applying UML and patterns : an introduction to object-oriented analysis and design and the unified process. Craig Larman ; foreword by Phillipe Kruchten.
by: Larman
Published: (2002)

Objects-oriented systems analysis and design using UML Simon Bennett, Steve McRobb and Ray Farmer.
by: Bennett
Published: (1999)

UML explained Kendall Scott.
by: Scott, 1960-
Published: (2001)

An introduction to object-oriented analysis : objects and UML in plan english.
by: Brown
Published: (2002)

Object-oriented design knowledge : principles, heuristics, and best practices Javier Garzas, Mario Piattini.
by: Garzas, Javier
Published: (2007)

Object modeling and design strategies Sanjiv Gossain.
by: Gossain

Project-based software engineering : an object-oriented approach Evelyn Stiller, Cathie LeBlanc.
by: Stiller, Evelyn
Published: (2002)

Introduction to languages, machines, and logic : computable languages, abstract machines, and formal logic Alan P. Parkes..
by: Parkes
Published: (2002)

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / by Gerard O'Regan.
by: O'Regan, Gerard., et al.
Published: (2017)

Applying OMT : a practical step-by-step guide to using the object modeling technique Kurt W. Derr.
by: Derr, Kurt W

Agent-oriented methodologies edited by Brian Henderson-Sellers, Paolo Giorgini.
Published: (2005)

Object-oriented design & patterns Cay Horstmann.
by: Horstmann
Published: (2006)

Object-oriented defect management of software Houman Younessi.
by: Younessi
Published: (2002)

Fundamentals of distributed object systems : the CORBA perspective Zahir Tari, Omran Bukhres.
by: Tari
Published: (2001)

Quick Cobra 3 Jon Siegel.
by: Siegel
Published: (2001)

Object-oriented analysis & design Andrew Haigh.
by: Haigh
Published: (2001)