IMP -Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic

(No reviews yet) Write a Review

Internacional

$129.58

SKU:

9783540329220

Autor:

Benedikt Bollig

Editorial:

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Importante: Este libro es importado y podría tener una demora de 30 días.

Titulo: Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic

Formato: Hardback

Autor: Benedikt Bollig

Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Lenguaje: English

Páginas: 181

ISBN: 9783540329220

(No reviews yet) Write a Review

Write a Review