Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Paperback - 2013

Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Paperback - 2013 - 1
Estado : Novo
Vendido por
RiaEnglishBooks
4,6 4 001 vendas
País de expedição : Reino Unido

Comentários do vendedor

Livro novo; R�pido do Reino Unido; N�o ficar� desapontado - New book; Fast from the UK; Will not be disappointed

Colocar uma questão ao vendedor
Resumo

Year of publication: 2013
Pagination: 388 pages, 143 black & white illustrations, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Editor: Ezio Bartocci, C.R. Ramakrishnan

70,98 €
Entrega pelo vendedor parceiro

Entrega Envio com tracking: gratuito Entregue em 3 semanas

Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Paperback - 2013
Model Checking Software - 20th International Symposium,...

Resumo


Year of publication: 2013
Pagination: 388 pages, 143 black & white illustrations, biography
Format: Paperback
Serie: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Editor: Ezio Bartocci, C.R. Ramakrishnan
Publicidade

Avaliações dos nossos clientes

Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings - Paperback - 2013

Sê o primeiro a dar
a tua opinião sobre este produto

Características

Editora

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dimensão

234 x 156 x 20

Peso

543

Tema

Programming & scripting languages: general|Software Engineering

Origem

Germany

EAN

9783642391750

Publicidade
Publicidade