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 for Eternal Networked Software Systems

Tapa de Formal Methods for Eternal Networked Software Systems

Número de Cutter-SanbornB523fEntrada «Bernardi» → 523 · marca de obra “f”

Formal Methods for Eternal Networked Software Systems

de Marco Bernardo

Materias

Information systems
Computer science
Software engineering
Informatique
Computer networks
Formal methods (Computer science)
Congresses
Computer software, development
System design
Computer architecture

Formal Methods for Eternal Networked Software Systems — Marco Bernardo | Cutter Number

Programming Languages, Compilers, Interpreters

Mathematical Logic and Formal Languages

Ediciones (2)

Formal Methods for Eternal Networked Software Systems (2011)
Springer Berlin Heidelberg · inglés · ISBN 9783642214547
Formal Methods for Eternal Networked Software Systems (2011)
Springer · ISBN 9783642214561

Más obras de Marco Bernardo

Tapa de Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures

Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures

Tapa de Formal Methods for Dynamical Systems

Formal Methods for Dynamical Systems

FFormal methods for software architectures

Formal methods for software architectures

Tapa de Formal Methods for Model-Driven Engineering

Formal Methods for Model-Driven Engineering

Tapa de Formal Methods for Dynamical Systems

Formal Methods for Dynamical Systems

Tapa de Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

Ver todas las obras de Marco Bernardo →