Name: Formal Methods: State of the Art and New Directions (en Inglés)
SKU: 57861401
Price: 102480.00 CLP
Availability: InStock
Author: Boca, Paul ; Bowen, Jonathan P. ; Siddiqi, Jawed
ISBN: 9781447157458

portada Formal Methods: State of the Art and New Directions (en Inglés)

Formal Methods: State of the Art and New Directions (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Boca, Paul ; Bowen, Jonathan P. ; Siddiqi, Jawed

Idioma

Inglés

N° páginas

273

Encuadernación

Tapa Blanda

Dimensiones

23.4x15.6x1.6 cm

Peso

0.42 kg.

ISBN13

9781447157458

Categorías

Lógica matemática
Lenguajes de programación y extensión/scripting: general

Formal Methods: State of the Art and New Directions (en Inglés)

Boca, Paul ; Bowen, Jonathan P. ; Siddiqi, Jawed (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 15 a 20 días háb.

$ 204.950$ 102.480

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 102.480

Llega entre el 02 Dic y el 10 Dic a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Formal Methods: State of the Art and New Directions (en Inglés)"

Domain Engineering.- Program Verification and System Dependability.- The Abstract State Machines Method for High-Level System Design and Analysis.- Applications and Methodology of ?Z.- The Computer Ate My Vote.- Formal Methods for Biochemical Signalling Pathways.- Separation Logic and Concurrency.- Programming Language Description Languages.