Hoppa till sidans huvudinnehåll

Carlo A. Furia - Böcker

Visar alla böcker från författaren Carlo A. Furia.
5 produkter
Del 9762 - Lecture Notes in Computer Science

Tests and Proofs

10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

AvBernhard K. Aichernig,Carlo A. Furia

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

AvCarlo A. Furia,Kirsten Winter

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

Object, Models, Components, Patterns

50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings

AvCarlo A. Furia,Sebastian Nanz

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar

Modeling Time in Computing

AvCarlo A. Furia,Dino Mandrioli,Angelo Morzenti,Matteo Rossi

Inbunden, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar

Modeling Time in Computing

AvCarlo A. Furia,Dino Mandrioli,Angelo Morzenti,Matteo Rossi

Häftad, Engelska, 2014

719 kr

Skickas inom 10-15 vardagar