Del 13

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

Tillhör följande kategorier