Foundational and Practical Aspects of Resource Analysis
Ugo Dal Lago, Marko van Eekelen
E-bok
2016718 kr
Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
AvMarko van Eekelen,Ugo Dal Lago
Häftad, Engelska, 2016
Del i serien Lecture Notes in Computer Science
556 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 8552
Del 10803
Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago
Häftad, 2018
572 kr
Foundational and Practical Aspects of Resource Analysis
Olha Shkaravska, Marko van Eekelen, Ricardo Pena
E-bok
2012652 kr
Foundational and Practical Aspects of Resource Analysis
Marko van Eekelen, Olha Shkaravska
Häftad, 2010
572 kr
Foundational and Practical Aspects of Resource Analysis
Ricardo Peña, Marko van Eekelen, Olha Shkaravska
Häftad, 2012
527 kr
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Häftad, 2011
572 kr
Foundational and Practical Aspects of Resource Analysis
Olha Shkaravska, Marko van Eekelen
E-bok
2010739 kr