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-16 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 Codes, Cryptology and Information Security

    Codes, Cryptology and Information Sec...

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

    Pocket

    759:-
  2. bokomslag Unifying Theories of Programming

    Unifying Theories of Programming

    Andrew Butterfield

    Pocket

    759:-
  3. bokomslag System Modeling and Optimization

    System Modeling and Optimization

    Lorena Bociu, Jean-Antoine Dsidri, Abderrahmane Habbal

    Inbunden

    1509:-
  4. bokomslag Taxing Soda for Public Health

    Taxing Soda for Public Health

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

    Inbunden

    1549:-
  5. bokomslag Identifiability and Observability in Epidemiological Models

    Identifiability and Observability in ...

    Nik Cunniffe, Frdric Hamelin, Abderrahman Iggidr, Alain Rapaport, Gauthier Sallet

    Pocket

    879:-
  6. bokomslag Advances in Research in Geosciences, Geotechnical Engineering, and Environmental Science

    Advances in Research in Geosciences, ...

    Khadija Baba, Latifa Ouadif, Abderrahman Nounah, Mounir Bouassida

    Inbunden

    2909:-
  7. bokomslag Internet of Unmanned Things (IoUT) and Mission-based Networking

    Internet of Unmanned Things (IoUT) an...

    Chaker Abdelaziz Kerrache, Carlos Calafate, Abderrahmane Lakas, Mohamed Lahby

    Pocket

    2569:-
  8. bokomslag Internet of Unmanned Things (IoUT) and Mission-based Networking

    Internet of Unmanned Things (IoUT) an...

    Chaker Abdelaziz Kerrache, Carlos Calafate, Abderrahmane Lakas, Mohamed Lahby

    Inbunden

    2569:-
  9. bokomslag System Modeling and Optimization

    System Modeling and Optimization

    Lorena Bociu, Jean-Antoine Dsidri, Abderrahmane Habbal

    Pocket

    1509:-
  10. bokomslag Unravelling Single Cell Genomics

    Unravelling Single Cell Genomics

    Nathalie Bontoux, Marie-Claude Potier, Luce Dauphinot

    Inbunden

    3059:-

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

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

    FME '96: Industrial Benefit and Advan...

    James Woodcock Marie-Claude Gaudel

    Pocket

    1509:-
  3. bokomslag Theoretical Aspects of Computing

    Theoretical Aspects of Computing

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

    Pocket

    759:-