krainaksiazek dependable software engineering theories tools and applications first international symposium setta 2015 nanjing china november 4 6 2015 pro 20123816

- znaleziono 1 produkt w 1 sklepie

Dependable Software Engineering: Theories, Tools, and Applications - 2836099671

366,46 zł

Dependable Software Engineering: Theories, Tools, and Applications Springer, Berlin

Książki / Literatura obcojęzyczna

This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2015, held in Nanjing, China, in November 2015.§§The 20 full papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.The papers are organized on topical sections on probabilistic systems; hybrid and cyber-physical systems; testing, simulation and inference; bisimulation and correctness; design and implementation; symbolic execution and invariants; and verification and case studies.§

Sklep: Libristo.pl

Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice

Szukaj w sklepach lub całym serwisie

1. Sklepy z krainaksiazek pl dependable software engineering theories tools and applications first international symposium setta 2015 nanjing china november 4 6 2015 pro 20123816

2. Szukaj na wszystkich stronach serwisu

t1=0.033, t2=0, t3=0, t4=0, t=0.033

Dla sprzedawców

copyright © 2005-2016 Sklepy24.pl  |  made by Internet Software House DOTCOM RIVER