Doprava zadarmo s Packetou nad 59.99 €

Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560845
Price: 120.8 EUR
Availability: InStock

Kousha Etessami

Sriram K. Rajamani

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01560845

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, jún 2005

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aide... Celý popis

Libristo kód: 01560845

304 b

120.80 €

Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Handbook of Participatory Video E J Milne

/ Pevná

247.86 €

Sexual Mountain and Black Women Writers Calvin C. Hernton

/ Brožovaná

13.98 €

Topics in Geometry Simon Gindikin

/ Pevná

120.80 €

This book constitutes the refereed proceedings of the 17th International Conference on Computer Aided Verification, CAV 2005, held in Edinburgh, Scotland, UK in July 2005.§The 32 revised full papers presented together with 16 tool papers and 3 invited papers, as well as a report on a special tools competition were carefully reviewed and selected from 155 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

Informácie o knihe

Celý názov Computer Aided Verification

Autor Kousha Etessami, Sriram K. Rajamani

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2005

Počet strán 568

EAN 9783540272311

ISBN 3540272313

Libristo kód 01560845

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 1800

Rozmery 155 x 235 x 32

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia

Darujte túto knihu ešte dnes

Je to jednoduché

1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Doručenie

Nákupný poradca