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
Web Services and Formal Methods

Tapa de Web Services and Formal Methods

Número de Cutter-SanbornT927wEntrada «Tuns» → 927 · marca de obra “w”

Web Services and Formal Methods

de Emilio Tuosto, Chun Ouyang

Materias

Web services
System design
Congresses
Formal methods (Computer science)
Software engineering
Information Systems Applications (incl. Internet)
Computer science
Logic design
Information Systems

Web Services and Formal Methods — Emilio Tuosto, Chun Ouyang | Cutter Number

Management of Computing and Information Systems

Logics and Meanings of Programs

Programming Languages, Compilers, Interpreters

Ediciones (2)

Web Services and Formal Methods (2014)
Springer London, Limited · inglés · ISBN 9783319082608
Web Services and Formal Methods (2014)
Springer · ISBN 9783319082592

Más obras de Emilio Tuosto

Tapa de Trustworthy Global Computing

Trustworthy Global Computing

Tapa de Coordination Models and Languages

Coordination Models and Languages

Ver todas las obras de Emilio Tuosto →