cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
FM 2011: Formal Methods

Tapa de FM 2011: Formal Methods

Número de Cutter-SanbornB986fEntrada «Butler, M.» → 986 · marca de obra “f”

FM 2011: Formal Methods

de Michael Butler

Materias

Logic design
Information Systems
Computer science
Software engineering
Development
Informatique
Congresses
System design
Mathematics
Formal methods (Computer science)
Computer software
Computer software, development

Ediciones (1)

FM 2011: Formal Methods (2011)
Springer Berlin Heidelberg · inglés · ISBN 9783642214363

Más obras de Michael Butler

Tapa de Rigorous development of complex fault-tolerant systems

Rigorous development of complex fault-tolerant systems

Tapa de Introduction To Organisational Behaviour

Introduction To Organisational Behaviour

Tapa de Methods Models And Tools For Fault Tolerance

Methods Models And Tools For Fault Tolerance

FM 2011: Formal Methods — Michael Butler | Cutter Number

Tapa de Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

Abstract State Machines B And Z First International Conference Abz 2008 London Uk September 1618 2008 Proceedings

Tapa de Rejection and emancipation

Rejection and emancipation

Tapa de Formal Methods and Software Engineering

Formal Methods and Software Engineering

Ver todas las obras de Michael Butler →