|
|

avaa valikko

Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Jasmin Christian Blanchette, Stephan Merz
51,10 €
Springer International Publishing AG
Sivumäärä: 502 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2016
Julkaisuvuosi: 2016, 07.08.2016 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 9807
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.
The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, ProceedingsSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783319431437
Asiasanat:
distributed systems formal security models logic and verification model checking verification completeness first-order logic formalized mathematics Fourier transform graph transformation higher order logic Isabelle/HOL knowledge representation
Aihealue:
Ulkomaiset kirjat » Computers » Computer Science
Kansikuva tuotteelle