Name: Rapid Prototyping in Pvs (en Inglés)
Price: 496.71 MXN
Availability: InStock
Author: Nasa Technical Reports Server (Ntrs) ; Munoz, Cesar A. ; Butler, Ricky
ISBN: 9781289165420

Envío gratis

portada Rapid Prototyping in Pvs (en Inglés)

Formato

Libro Físico

Autor

Nasa Technical Reports Server (Ntrs)

Ricky Butler

Editorial

Bibliogov

Idioma

Inglés

N° páginas

Encuadernación

Tapa Blanda

Dimensiones

24.6 x 18.9 x 0.2 cm

Peso

0.07 kg.

ISBN13

9781289165420

Categorías

Política y gobierno

Rapid Prototyping in Pvs (en Inglés)

Nasa Technical Reports Server (Ntrs) (Autor) · Ricky Butler (Autor) · Bibliogov · Tapa Blanda

Libro Nuevo

$ 496.71

$ 827.85

Ahorras: $ 331.14

40% descuento

Envío normal

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

Se enviará desde nuestra bodega entre el Lunes 29 de Julio y el Martes 06 de Agosto.

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

Reseña del libro "Rapid Prototyping in Pvs (en Inglés)"

PVSio is a conservative extension to the PVS prelude library that provides basic input/output capabilities to the PVS ground evaluator. It supports rapid prototyping in PVS by enhancing the specification language with built-in constructs for string manipulation, floating point arithmetic, and input/output operations.