Unifying Theories of Programming
Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
Häftad, 2013
516 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, 2013661 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 114 kr
Theoretical Aspects of Computing
Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock
Häftad, 2010
561 kr
Theoretical Aspects of Computing
Jim Woodcock, Marie-Claude Gaudel, David Deharbe, Ana Cavalcanti
E-bok
2010708 kr
TAPSOFT '93: Theory and Practice of Software Development
Marie-Claude Gaudel, Jean-Pierre Jouannaud
Häftad, 1993
1 114 kr
- Signerad!
- -19%
- 10% rabatt på allt
Del 2
- 10% rabatt på allt
- -22%
Del 3