Unifying Theories of Programming
Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
Häftad, 2013
514 kr
Unifying Theories of Programming
4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
AvAbderrahmane Feliachi,Marie-Claude Gaudel
E-bok
PDF, Engelska, 2013685 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
FME '96: Industrial Benefit and Advances in Formal Methods
Marie-Claude Gaudel, James Woodcock
Häftad, 1996
1 109 kr
Theoretical Aspects of Computing
Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock
Häftad, 2010
558 kr
Theoretical Aspects of Computing
Jim Woodcock, Marie-Claude Gaudel, David Deharbe, Ana Cavalcanti
E-bok
2010732 kr
TAPSOFT '93: Theory and Practice of Software Development
Marie-Claude Gaudel, Jean-Pierre Jouannaud
Häftad, 1993
1 109 kr
- -19%
- Signerad!
- Nyhet
- Signerad!
Del 2
SIGNERAD - Kopians hämnd
IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer
Inbunden, 2026
189 kr
- -23%