Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 48, 2016, Proceedings

fra 679,-

Tilgjengelig i 1 butikker

Forhåndsbestill

Frakt og levering

Produktinformasjon

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.

Topplisten: Other Brand Data og informasjonsteknologi

Distributed Systems Av George Coulouris, Jean Dollimore, Tim Kindberg, Gordon Blair

310,-

Elements Of User Experience, The Av Jesse James Garrett

170,-

Excel 2013 Bible

210,-

Exam Ref Md-102 Microsoft Endpoint Administrator Av Andrew Warren, Andrew Bettany

429,-

Research Methods in HumanComputer Interaction

390,-

JavaScript: The Definitive Guide

340,-

Artificial Intelligence: A Very Short Introduction Av Margaret A. (Research Professor Of Cognitive Science University Of Sussex) Boden

82,-

Kunstig intelligens den usynlige revolusjonen

99,-

-1%

Assassin's Creed Shadows

364,-

366,-

-2%

Assassin's Creed Shadows

264,-

269,-

Spesifikasjon

Produkt

Produktnavn	Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 48, 2016, Proceedings
Merke	Other Brand

Populære produkter

Open Source Intelligence Methods And Tools Av Nihad A. Hassan, Rami Hijazi

779,-

Pris og prishistorikk

Akkurat nå er 679,- den billigste prisen for Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 48, 2016, Proceedings blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste data og informasjonsteknologi for å være sikker på at du gjør det beste kjøpet.