Hoppa till sidans huvudinnehåll

Carlo A. Furia – författare

Visar alla böcker från författaren Carlo A. Furia.
5 produkter
Bernhard K. Aichernig, Carlo A. Furia - Tests and Proofs, Häftad
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

739 kr

Skickas inom 10-15 vardagar

Carlo A. Furia, Kirsten Winter - Integrated Formal Methods, Häftad

Integrated Formal Methods

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

AvCarlo A. Furia,Kirsten Winter

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar

Carlo A. Furia, Sebastian Nanz - Object, Models, Components, Patterns, Häftad

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

739 kr

Skickas inom 10-15 vardagar

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi - Modeling Time in Computing, Inbunden

Modeling Time in Computing

AvCarlo A. Furia,Dino Mandriolim. fl.

Inbunden, Engelska, 2012

739 kr

Skickas inom 10-15 vardagar

Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi - Modeling Time in Computing, Häftad

Modeling Time in Computing

AvCarlo A. Furia,Dino Mandriolim. fl.

Häftad, Engelska, 2014

739 kr

Skickas inom 10-15 vardagar