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

Unifying Theories of Programming

Burkhard Wolff • Marie-Claude Gaudel • Abderrahmane Feliachi

Pocket

939:-

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

Uppskattad leveranstid 7-11 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 Valutazione del potenziale probiotico di ceppi lattici da latte bovino

    Valutazione del potenziale probiotico...

    Aicha Chadli, Fouad Mekhalef Benhafsa, Zakaria Abderrahmane Ameur

    Pocket

    1179:-
  2. bokomslag Unifying Theories of Programming

    Unifying Theories of Programming

    Andrew Butterfield

    Pocket

    749:-
  3. bokomslag Unifying Theories of Programming

    Unifying Theories of Programming

    Augusto Sampaio Pedro Ribeiro

    Pocket

    1009:-
  4. bokomslag Explore

    Explore

    Fabienne Gallon, Adeline Gaudel, Celine Himber

    Pocket

    399:-
  5. bokomslag Unifying Theories of Programming

    Unifying Theories of Programming

    David Naumann

    Pocket

    789:-
  6. bokomslag Unifying Theories of Programming

    Unifying Theories of Programming

    Shengchao Qin

    Pocket

    749:-
  7. bokomslag Unifying Theories of Programming

    Unifying Theories of Programming

    Huibiao Zhu Jonathan P Bowen

    Pocket

    1009:-
  8. bokomslag New Approaches For Tackling Thomson Problem

    New Approaches For Tackling Thomson P...

    Halima Lakhbab, Souad El Bernoussi, Abderrahmane El Harif

    Pocket

    659:-
  9. bokomslag Codes, Cryptology and Information Security

    Codes, Cryptology and Information Sec...

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

    Pocket

    1009:-
  10. bokomslag Explore

    Explore

    Fabienne Gallon, Adeline Gaudel, Celine Himber

    Pocket

    319:-

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

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

    FME '96: Industrial Benefit and Advan...

    James Woodcock Marie-Claude Gaudel

    Pocket

    1999:-
  3. bokomslag Theoretical Aspects of Computing

    Theoretical Aspects of Computing

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

    Pocket

    749:-