#union-des-communistes-de-france-marxiste-leniniste

Alternate Text
A JML Tutorial - Modular Specification and Verification of ...
Category

Documents

A JML Tutorial - Modular Specification and Verification of ...

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

A JML Tutorial - Modular Specification and Verification of ... Alternate Text
Category

Documents

Savoirs

A JML Tutorial - Modular Specification and Verification of ...

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

Book

232 pages

Flag

English

icon play Lire
icon play Infos
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents
Alternate Text