Formal methods fact file /

Guardado en:

Detalles Bibliográficos
Autor principal:	Harry, Andrew
Formato:	Libro
Lenguaje:	Inglés
Publicado:	Chichester : J. Wiley, 1996
Materias:	Computación Lenguajes de computación Métodos formales UDM Z
Aporte de:	Registro referencial: Solicitar el recurso aquí Sistema de Bibliotecas de la UNICEN de Universidad Nacional del Centro

Ejemplares similares

Formal languages /
por: Salomaa, Arto
Publicado: (1973)

Industrial-strength formal methods in practice
Publicado: (1999)

Formal methods for real-time computing /
por: Heitmeyer, Constance
Publicado: (1996)

Formal methods in programming and their applications : international conference: proceedings /
Publicado: (1993)

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

Advances in theory and formal methods of computing
Publicado: (1996)

Theory of finite automata : with an introduction to formal languages /
por: Carroll, John
Publicado: (1989)

Teoría de autómatas y lenguajes formales /
por: Kelley, Dean
Publicado: (1995)

Picture languages : formal models for picture recognition /
por: Rosenfeld, Azriel
Publicado: (1979)

Proceedings /
Publicado: (1979)

Introduction to languages and the theory of computation /
por: Martin, John C.
Publicado: (1991)

Understanding Z : a specification language and its formal semantics /
por: Spivey, J. M.
Publicado: (1992)

IFM'99 : international conference on integrated formal methods: proceedings /
Publicado: (1999)

Parsing theory /
por: Sippu, Seppo
Publicado: (1990)

Using Z specification, refinement, and proof /
por: Woodcock, Jim
Publicado: (1996)

Proceedings /
Publicado: (1998)

Handbook of theoretical computer science /
por: Leeuwen, Jan van
Publicado: (1990)

Algebraic theory of machines, languajes and semigroups /
Publicado: (1968)

Introducción a la teoría de automatas, lenguajes y computación /
por: Hopcroft, John E.
Publicado: (1997)

A basis for theoretical computer science /
por: Arbib, Michael A
Publicado: (1981)

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

Métodos formais para o desenvolvimiento de programas /
por: Alencar, Paulo S.C. de
Publicado: (1989)

Programación del Z80 con ensamblador /
por: Lepape, Olivier
Publicado: (1985)

Lenguajes, gramáticas y autómatas : curso básico
por: Cases Muñoz, Rafel
Publicado: (2002)

Formal specification of programming languages /
por: Pagan, Frank G.
Publicado: (1981)

Differential files : their application to the maintenance of large databases /
por: Severance, Dennis G
Publicado: (1976)

Program transformation and programming environments /
Publicado: (1984)

Formalización del proceso de desarrollo de software /
por: Haeberer, A. M
Publicado: (1988)

Program construction and verification. /
por: Backhouse, Roland C
Publicado: (1986)

Conversando con la computadora /
por: Dopping, Olle
Publicado: (1974)

Files and database : an introduction /
por: Smith, Peter D.
Publicado: (1987)

UML toolkit /
por: Eriksson, Hans-Erik
Publicado: (1998)

The unified modeling languaje user guide /
por: Booch, Grady
Publicado: (1999)

Construcción de compiladores
por: Gries, David
Publicado: (1975)

Teoría de la computación : lenguajes formales, autómatas y complejidad
por: Brookshear, J. Glenn
Publicado: (1993)

The annotated C++ : reference manual /
por: Ellis, Margaret A.
Publicado: (1990)

Common lisp : the lenguage /
por: Steele, Guy L
Publicado: (1990)

Utilización de UML en ingeniería del software con objetos y componentes /
por: Stevens, Perdita
Publicado: (2003)

Máquinas e linguagens : uma introduçcao à teoria de autématos /
por: Veloso, Paulo A. S
Publicado: (1979)