Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2678508]

• Literatura piękna

[1635285]

więcej...

Kategorie szczegółowe BISAC

Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected

Name: Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected
Brand: Springer
Price: 195.42 PLN
Availability: InStock

ISBN-13: 9783319488684 / Angielski / Miękka / 2016 / 199 str.

Sandrine Blazy; Marsha Chechik

Verified Software. Theories, Tools, and Experiments: 8th International Conference, Vstte 2016, Toronto, On, Canada, July 17-18, 2016, Revised Selected

ISBN-13: 9783319488684 / Angielski / Miękka / 2016 / 199 str.

Sandrine Blazy; Marsha Chechik

cena 195,42 zł
(netto: 186,11 VAT: 5%)

Najniższa cena z 30 dni: 192,74 zł

Termin realizacji zamówienia:
ok. 20 dni roboczych.

Darmowa dostawa!

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 in Toronto, ON, Canada.

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Software Development & Engineering - General
Computers > Programming - Compilers
Computers > Languages - General

Wydawca:

Springer

Seria wydawnicza:

Lecture Notes in Computer Science

Język:

Angielski

ISBN-13:

9783319488684

Rok wydania:

2016

Wydanie:

2016

Numer serii:

000013115

Ilość stron:

199

Waga:

0.31 kg

Wymiary:

23.39 x 15.6 x 1.17

Oprawa:

Miękka

Wolumenów:

Dodatkowe informacje:

Wydanie ilustrowane

Education.- requirements modeling.- specification languages.- specification/verification.- formal calculi.- software design methods.- automatic code generation.- refinement methodologies.- compositional analysis.- verification tools.- Tool integration.- Benchmarks.- Challenge problems.- Integrated verification environments.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2024 DolnySlask.com Agencja Internetowa