Foundational and Practical Aspects of Resource Analysis
Marko van Eekelen, Olha Shkaravska, Marko Van Eekelen
Häftad
719 kr
Foundational and Practical Aspects of Resource Analysis
4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
Häftad, Engelska, 2016
689 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2016-09-27
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor127
- FörlagSpringer International Publishing AG
- ISBN9783319465586
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Foundational and Practical Aspects of Resource Analysis
Ricardo Peña, Marko van Eekelen, Olha Shkaravska, Marko Van Eekelen, Ricardo Pe a., Marko Van Eekelen
Häftad
649 kr
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Häftad
709 kr
Del 8552
Del 10803