Karl Palmskog - Qed At Large: A Survey Of Engineering Of Formally Verified Software (foundations And Trends(r) In Programming Languages)
Brand: Karl Palmskog -
EAN:
9781680835946MPN: m01680835947
Kategorie: Bücher & Zeitschriften
Brand : Now Publishers, Binding : Taschenbuch, Label : Now Publishers Inc, Publisher : Now Publishers Inc, medium : Taschenbuch, numberOfPages : 198, publicationDate : 2019-09-03, releaseDate : 2019-09-03, authors : Karl Palmskog, Talia Ringer, Ilya Sergey, ISBN : 1680835947
Preise vergleichen ab:
Karl Palmskog - in Bücher & Zeitschriften