Unifying Theories of Programming 1
bokomslag Unifying Theories of Programming
Data & IT

Unifying Theories of Programming

Burkhard Wolff • Marie-Claude Gaudel • Abderrahmane Feliachi

Pocket

709:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-15 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 249 sidor
  • 2013
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.
  • Författare: Burkhard Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
  • Format: Pocket/Paperback
  • ISBN: 9783642357046
  • Språk: Engelska
  • Antal sidor: 249
  • Utgivningsdatum: 2013-01-04
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Taxing Soda for Public Health

    Taxing Soda for Public Health

    Yann Le Bodo, Marie-Claude Paquette, Philippe De Wals

    Inbunden

    1559:-
  2. bokomslag Unravelling Single Cell Genomics

    Unravelling Single Cell Genomics

    Nathalie Bontoux, Marie-Claude Potier, Luce Dauphinot

    Inbunden

    3059:-
  3. bokomslag Cellular and Molecular Effects of Mineral and Synthetic Dusts and Fibres

    Cellular and Molecular Effects of Min...

    Marie-Claude Jaurand John M G Davis

    Pocket

    1559:-
  4. bokomslag Taxing Soda for Public Health

    Taxing Soda for Public Health

    Yann Le Bodo, Marie-Claude Paquette, Philippe De Wals

    Pocket

    1339:-
  5. bokomslag Codes, Cryptology and Information Security

    Codes, Cryptology and Information Sec...

    Claude Carlet, Sylvain Guilley, Abderrahmane Nitaj, El Mamoun Souidi

    Pocket

    769:-
  6. bokomslag Unifying Theories of Programming

    Unifying Theories of Programming

    Andrew Butterfield

    Pocket

    769:-
  7. bokomslag System Modeling and Optimization

    System Modeling and Optimization

    Lorena Bociu, Jean-Antoine Dsidri, Abderrahmane Habbal

    Inbunden

    1519:-
  8. bokomslag Explore

    Explore

    Fabienne Gallon, Adeline Gaudel, Celine Himber

    Pocket

    319:-
  9. bokomslag Unifying Theories of Programming

    Unifying Theories of Programming

    Augusto Sampaio Pedro Ribeiro

    Pocket

    769:-
  10. bokomslag Explore

    Explore

    Fabienne Gallon, Adeline Gaudel, Celine Himber

    Pocket

    379:-

Andra av samma författare

  1. bokomslag TAPSOFT '93: Theory and Practice of Software Development

    TAPSOFT '93: Theory and Practice of S...

    Jean-Pierre Jouannaud Marie-Claude Ga...

    Pocket

    1519:-
  2. bokomslag FME '96: Industrial Benefit and Advances in Formal Methods

    FME '96: Industrial Benefit and Advan...

    James Woodcock Marie-Claude Gaudel

    Pocket

    1519:-
  3. bokomslag Theoretical Aspects of Computing

    Theoretical Aspects of Computing

    Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock

    Pocket

    769:-