Name: formal modeling and analysis of timed systems: third international conference, formats 2005, uppsala, sweden, september 26-28, 2005, proceedings (en Inglés)
Price: 25735.00 CRC
Availability: InStock
Author: pettersson, p.
ISBN: 9783540309468

Selecciona tu país

América

Europa

Resto del mundo

portada formal modeling and analysis of timed systems: third international conference, formats 2005, uppsala, sweden, september 26-28, 2005, proceedings (en Inglés)

formal modeling and analysis of timed systems: third international conference, formats 2005, uppsala, sweden, september 26-28, 2005, proceedings (en Inglés)

Formato

Libro Físico

Editorial

springer

Autor

pettersson, p.

Año

2006

Idioma

Inglés

N° páginas

314

ISBN

3540309462

ISBN13

9783540309468

Categorías

Arquitectura y diseño lógico de ordenadores

formal modeling and analysis of timed systems: third international conference, formats 2005, uppsala, sweden, september 26-28, 2005, proceedings (en Inglés)

Pettersson, P. (Autor) · springer · Libro Físico

Libro Nuevo Importado

Envío: 7 a 9 días háb.

₡ 25.735

Costos de importación y 13% IVA incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

₡ 25.735

Llega entre el 21 Jul y el 27 Jul a Costa Rica. Seleccionar ubicación

Agregar a lista de deseos