Carlo A. Furia – författare
Visar alla böcker från författaren Carlo A. Furia. Handla med fri frakt och snabb leverans.
9 produkter
Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Av Bernhard K. Aichernig, Carlo A. Furia
Häftad, 2016
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and …
Tests and Proofs
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Av Carlo A. Furia, Bernhard K. Aichernig
E-bok, 2016
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and …
Integrated Formal Methods
14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Av Carlo A. Furia, Kirsten Winter
Häftad, 2018
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018.The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 …
Integrated Formal Methods
14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Av Kirsten Winter, Carlo A. Furia
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 …
Object, Models, Components, Patterns
50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
Av Carlo A. Furia, Sebastian Nanz
Häftad, 2012
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The …
Object, Models, Components, Patterns
50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
Av Sebastian Nanz, Carlo A. Furia
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The …
Modeling Time in Computing
Av Carlo A. Furia, Dino Mandrioli m. fl.
Inbunden, 2012
569 kr
Lägg i varukorg
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic …
Modeling Time in Computing
Av Matteo Rossi, Angelo Morzenti m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic …
Modeling Time in Computing
Av Carlo A. Furia, Dino Mandrioli m. fl.
Häftad, 2014
569 kr
Lägg i varukorg
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic …
