Behavioral Types in Programming Languages 1
bokomslag Behavioral Types in Programming Languages
Data & IT

Behavioral Types in Programming Languages

Davide Ancona • Viviana Bono • Mario Bravetti

Häftad

1659:-

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

Uppskattad leveranstid 3-8 arbetsdagar

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

  • 156 sidor
  • 2016
  • Författare: Davide Ancona, Viviana Bono, Mario Bravetti
  • Format: Häftad
  • ISBN: 9781680831344
  • Språk: Engelska
  • Antal sidor: 156
  • Utgivningsdatum: 2016-05-03
  • Förlag: Now Publishers

Du kanske gillar

  1. bokomslag Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Robert M Hierons, Mercedes G Merayo, Mario Bravetti

    Pocket

    749:-
  2. bokomslag Serious Creativity

    Serious Creativity

    EDWARD DE BONO

    199:-
  3. bokomslag Family Outing

    Family Outing

    Chastity Bono Billie Fitzpatrick

    Inbunden

    559:-
  4. bokomslag Flowscapes

    Flowscapes

    Edward De Bono Caspar De Bono

    Pocket

    179:-
  5. bokomslag New Frontiers in Artificial Intelligence

    New Frontiers in Artificial Intelligence

    Mayumi Bono Toyotaro Suzumura

    Pocket

    2339:-
  6. bokomslag Lonely Mirror

    Lonely Mirror

    Paola Bono Sandra Kemp

    Inbunden

    1659:-
  7. bokomslag Hungerspelen

    Hungerspelen

    Suzanne Collins

    Pocket

    125:-
  8. bokomslag Minimally Invasive Spine Surgery

    Minimally Invasive Spine Surgery

    Christopher M Bono Alexander R Vaccaro

    Pocket

    1129:-
  9. bokomslag Revision Total Hip Arthroplasty

    Revision Total Hip Arthroplasty

    James V Bono Eric L Smith

    Inbunden

    3659:-
  10. bokomslag Developments in Sustainable Chemical and Bioprocess Technology

    Developments in Sustainable Chemical ...

    Ravindra Pogaku, Awang Bono, Christopher Chu

    1579:-

Andra av samma författare

  1. bokomslag Formal Techniques for Computer Systems and Business Processes

    Formal Techniques for Computer System...

    Mario Bravetti, Leila Kloul, Gianluigi Zavattaro

    Pocket

    719:-
  2. bokomslag Web Services and Formal Methods

    Web Services and Formal Methods

    Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro

    Pocket

    749:-
  3. bokomslag CONCUR 2009 - Concurrency Theory

    CONCUR 2009 - Concurrency Theory

    Gianluigi Zavattaro Mario Bravetti

    Pocket

    1479:-
  4. bokomslag Web Services and Formal Methods

    Web Services and Formal Methods

    Tevfik Bultan Mario Bravetti

    Pocket

    749:-
  5. bokomslag Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Robert M Hierons, Mercedes G Merayo, Mario Bravetti

    Pocket

    749:-