Jean-pierre Jouannaud
Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues Jean-pierre Jouannaud 2011 edition

Name: Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues
Price: 63.99 EUR
Availability: OutOfStock
Author: Jean-pierre Jouannaud

Cena

€ 63,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 14. - 28. aug.

Saņemiet paziņojumus par jauniem Jean-pierre Jouannaud izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Certified Programs and Proofs: First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Theoretical Computer Science and General Issues

Jean-pierre Jouannaud

2011 edition

This book constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Kenting, Taiwan, in December 2011.

Marc Notes: This volume constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Taiwan, in December 2011. The papers are organized in sections, including logic and types, certificates, formalization, proof assistants, programming languages, and hardware certification.

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2011. gada 18. novembris
ISBN13	9783642253782
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	401
Izmēri	155 × 235 × 21 mm · 585 g
Valoda	Franču
Redaktors	Jouannaud, Jean-Pierre
Redaktors	Shao, Zhong