Name: Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Papers (Lecture Notes in Computer Science) (en Inglés)
Price: 71.15 USD
Availability: InStock
Author: Liu, Shaoying ; Duan, Zhenhua
ISBN: 9783319049144

portada Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Papers (Lecture Notes in Computer Science) (en Inglés)

Formato

Libro Físico

Ilustrado por

Shaoying Liu

Zhenhua Duan

Editorial

Springer

Autor

Liu, Shaoying ; Duan, Zhenhua

Idioma

Inglés

N° páginas

193

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.1 cm

Peso

0.29 kg.

ISBN13

9783319049144

Categorías

Hardware de redes
Lenguajes de programación scripting

Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Papers (Lecture Notes in Computer Science) (en Inglés)

Shaoying Liu (Ilustrado por) · Zhenhua Duan (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo

$ 71.15

$ 142.31

Ahorras: $ 71.15

50% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 22 de Julio y el Miércoles 31 de Julio.

Lo recibirás en cualquier lugar de Ecuador entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, ... Papers (Lecture Notes in Computer Science) (en Inglés)"

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.