KIRJAUDU
Adapting Proofs-as-Programs : The Curry--Howard Protocol
137,30 €
Springer
Sivumäärä: 420 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2010, 19.11.2010 (lisätietoa)
Kieli: Englanti
Tuotesarja: Monographs in Computer Science
Sivumäärä: 420 sivua
Asu: Pehmeäkantinen kirja
Painos: Softcover reprint of
Julkaisuvuosi: 2010, 19.11.2010 (lisätietoa)
Kieli: Englanti
Tuotesarja: Monographs in Computer Science
We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
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
Näytä kaikki tuotetiedot
ISBN:
9781441920140
Aihealue: