Petri Net PrimerEike Best, Raymond DevillersInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvNettlager
Algorithms for Constructing Computably Enumerable SetsKenneth J. SupowitPocketEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvNettlager
Simple Type TheoryWilliam M. FarmerInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvNettlager
Structural Decision Diagrams in Digital TestArtur Jutman, Raimund Ubar og 2 andreInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvNettlager
Category Theory Using HaskellShuichi YukitaInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvNettlager
Algorithms for Constructing Computably Enumerable SetsKenneth J. SupowitInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvNettlager
Multi-valued Logic for Decision-Making Under UncertaintyAlexander Rybalov, Ronald Yager og 1 annenInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvNettlager
Guide to Software Verification with Frama-CJulien Signoles, Virgile Prevosto og 1 annenInnbundetEngelskDel av serien Computer Science Foundations and Applied LogicLegg i handlekurvNettlager
