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
Formal Methods and Software Engineering

Tapa de Formal Methods and Software Engineering

Número de Cutter-SanbornA638fEntrada «Ao» → 638 · marca de obra “f”

Formal Methods and Software Engineering

de Toshiaki Aoki, Kenji Taguchi

Materias

Software engineering
System design
Formal methods (Computer science)
Congresses
Computer software
Verification
Computer science
Computer Communication Networks
Programming Techniques

Formal Methods and Software Engineering — Toshiaki Aoki, Kenji Taguchi | Cutter Number

Programming Languages, Compilers, Interpreters

Algorithm Analysis and Problem Complexity

Mathematical Logic and Formal Languages

Ediciones (3)

Formal Methods and Software Engineering (2012)
Springer · ISBN 9783642342806
Formal Methods and Software Engineering (2012)
Springer London, Limited · inglés · ISBN 9783642342813
Formal Methods and Software Engineering (2012)
Springer · ISBN 9783642342820