Alessandro Cimatti – författare
Visar alla böcker från författaren Alessandro Cimatti. Handla med fri frakt och snabb leverans.
8 produkter
Formal Methods for Industrial Critical Systems
28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
Av Alessandro Cimatti, Laura Titolo
Häftad, 2023
736 kr
Lägg i varukorg
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The …
Formal Methods for Industrial Critical Systems
28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
Av Laura Titolo, Alessandro Cimatti
E-bok, 2023
923 kr
Lägg i varukorg
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20–22, 2023. The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The …
Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Av Alessandro Cimatti, Marjan Sirjani
Häftad, 2017
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers …
Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Av Marjan Sirjani, Alessandro Cimatti
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers …
Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Av Marco Bernardo, Alessandro Cimatti
Häftad, 2006
568 kr
Lägg i varukorg
This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006). SFM 2006 was devoted to formal techniques for hardware verification and …
Formal Methods for Hardware Verification
6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Av Alessandro Cimatti, Marco Bernardo
E-bok, 2006
755 kr
Lägg i varukorg
Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Av Alessandro Cimatti, Roberto Sebastiani
Häftad, 2012
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were …
Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings
Av Roberto Sebastiani, Alessandro Cimatti
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were …
