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 :-(

Verified Software: Theories, Tools, and Experiments

Name: Verified Software: Theories, Tools, and Experiments
Brand: Springer International Publishing AG
SKU: 02896192
Price: 58.56 EUR
Availability: InStock

Arie Gurfinkel

Seshia Sanjit

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02896192

Nakladateľstvo Springer International Publishing AG, január 2016

This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International... Celý popis

Libristo kód: 02896192

147 b

58.56 €

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

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Winter Song Jean-Claude Mourlevat

/ Brožovaná

10.15 €

Play in Healthcare Alison Tonkin

/ Brožovaná

80.50 €

This volume constitutes the thoroughly refereed post-conference§proceedings of the 7th International Conference on Verified Software:§Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.§The goal of this conference is to advance the state of the art§in the science and technology of software verification, through the§interaction of theory development, tool evolution, and experimental§validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.

Informácie o knihe

Celý názov Verified Software: Theories, Tools, and Experiments

Autor Arie Gurfinkel, Seshia Sanjit

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2016

Počet strán 223

EAN 9783319296128

ISBN 3319296124

Libristo kód 02896192

Nakladateľstvo Springer International Publishing AG

Váha 3635

Rozmery 155 x 235 x 14

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 > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

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