Dirk Pattinson – författare
Visar alla böcker från författaren Dirk Pattinson. Handla med fri frakt och snabb leverans.
5 produkter
Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Av Jasmin Blanchette, Laura Kovács m. fl.
Häftad, 2022
457 kr
Lägg i varukorg
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and …
Recent Trends in Algebraic Development Techniques
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Av Martin Wirsing, Dirk Pattinson m. fl.
Häftad, 2003
569 kr
Lägg i varukorg
This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2002 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of …
Recent Trends in Algebraic Development Techniques
16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers
Av Rolf Hennicker, Dirk Pattinson m. fl.
E-bok, 2003
739 kr
Lägg i varukorg
Coalgebraic Methods in Computer Science
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Av Dirk Pattinson, Lutz Schröder
Häftad, 2012
552 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 …
Coalgebraic Methods in Computer Science
11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
Av Lutz Schroder, Dirk Pattinson
E-bok, 2012
734 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The 10 revised full papers were carefully reviewed and selected from 23 …
