Del 13 - Foundations and Trends® in Programming Languages
QED at Large
A Survey of Engineering of Formally Verified Software
Häftad, Engelska, 2019
Av Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
1 079 kr
Skickas onsdag 12/11
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum2019-09-03
- Mått156 x 234 x 14 mm
- Vikt281 g
- FormatHäftad
- SpråkEngelska
- SerieFoundations and Trends® in Programming Languages
- Antal sidor194
- Förlagnow publishers Inc
- ISBN9781680835946