Proof Assistants and Their Applications in Mathematics and Computer ScienceAssia Mahboubi, Jasmin BlanchetteInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvForhåndsbestill
Pensum -10%Petri Net PrimerEike Best, Raymond DevillersInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvUtsolgt
Pensum -10%Algorithms for Constructing Computably Enumerable SetsKenneth J. SupowitPocketEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvUtsolgt
Pensum -10%Simple Type TheoryWilliam M. FarmerInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvUtsolgt
Pensum -10%Structural Decision Diagrams in Digital TestArtur Jutman, Raimund Ubar og 2 andreInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvUtsolgt
Pensum -10%Category Theory Using HaskellShuichi YukitaInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvUtsolgt
Pensum -10%Algorithms for Constructing Computably Enumerable SetsKenneth J. SupowitInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvUtsolgt
Pensum -10%Multi-valued Logic for Decision-making Under UncertaintyAlexander Rybalov, Ronald Yager og 1 annenInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvUtsolgt
Pensum -10%Guide to Software Verification with Frama-CJulien Signoles, Virgile Prevosto og 1 annenInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvUtsolgt
