Imagen de Portada

Formal methods in computing /

Guardado en:

Autor Corporativo:	Veszprémi Akadémiai Bizottság.
Otros Autores:	Ferenczi, M. 1947-, Pataricza, András, 1954-, Rónyai, Lajos.
Formato:	Libro
Idioma:	English
Publicado:	Budapest : Akadémiai Kiadó, c2005.
Materias:	Formal methods (Computer science)
Acceso en línea:	Table of contents
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Understanding formal methods /
por: Monin, Jean François, 1960-
Publicado: (2003)

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Publicado: (1993)

Scalable techniques for formal verification /
por: Ray, Sandip.
Publicado: (2010)

Logic programming : formal methods and practical applications /
Publicado: (1995)

Z : an introduction to formal methods /
por: Diller, Antoni.
Publicado: (1994)

Algebraic foundations of systems specification /
Publicado: (1999)

Object-oriented methods : pragmatic considerations /
por: Martin, James, 1933-
Publicado: (1996)

Modern Formal Methods and Applications
por: Gabbar, Hossam A.
Publicado: (2006)

Ancient formal logic /
por: Bochenski, I. M.
Publicado: (1957)

Jewels of formal language theory /
por: Salomaa, Arto.
Publicado: (1981)

Introduction to formal language theory /
por: Harrison, Michael A.
Publicado: (1978)

The B-book : assigning programs to meanings /
por: Abrial, Jean-Raymond.
Publicado: (2005)

Computational Methods
por: LIU, G.R.
Publicado: (2006)

Object oriented analysis, design and testing : [selected readings] /
Publicado: (1998)

Agent Technology from a Formal Perspective
por: Rouff, Christopher A.
Publicado: (2006)

Automata and formal languages : an introduction /
por: Kelley, Dean.
Publicado: (1995)

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /
por: Fitzgerald, John.
Publicado: (2005)

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
por: Jones, Cliff B.
Publicado: (2007)

FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /
Publicado: (1994)

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures /
por: Bernardo, Marco.
Publicado: (2005)

Lógica formal y argumentación como disciplinas complementarias
por: Palau, Gladys.
Publicado: (2014)

FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /
por: Misra, Jayadev.
Publicado: (2006)

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
por: Kreowski, Hans-Jörg.
Publicado: (2005)

Object-oriented modeling and design with UML /
por: Blaha, Michael.
Publicado: (2005)

Objects, components, and frameworks with UML : the catalysis approach /
por: D'Souza, Desmond Francis.
Publicado: (1999)

The object constraint language : precise modeling with UML /
por: Warmer, Jos B.
Publicado: (1999)

Characteristics Finite Element Methods in Computational Fluid Dynamics
por: Iannelli, Joe.
Publicado: (2006)

Computability, complexity, and languages : fundamentals of theoretical computer science /
por: Davis, Martin, 1928-
Publicado: (1994)

Object-oriented modeling and design for database applications /
por: Blaha, Michael.
Publicado: (1998)

Object modeling and design strategies : tips and techniques /
por: Gossain, Sanjiv.
Publicado: (1998)

Distributed object technology : concepts and applications /
por: Ryan, Timothy W., 1957-
Publicado: (1997)

Membrane Computing 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /
por: Mauri, Giancarlo.
Publicado: (2005)

Membrane Computing 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers /
por: Freund, Rudolf.
Publicado: (2006)

Introduction to automata theory, languages, and computation /
por: Hopcroft, John E., 1939-
Publicado: (1979)

Introduction to automata theory, languages, and computation /
por: Hopcroft, John E., 1939-
Publicado: (2001)

Computer science : an overview /
por: Brookshear, J. Glenn.
Publicado: (1997)

Handbook of theoretical computer science /
Publicado: (1990)

Models of computation : exploring the power of computing /
por: Savage, John E., 1939-
Publicado: (1998)

Algorithms and theory of computation handbook /
Publicado: (1999)

Mathematical theory of computation. /
por: Manna, Zohar.
Publicado: (1974)