Formal Methods for Software EngineeringAntonio Cerone, Siraj Ahmed Shaikh og 3 andrePocketEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
Formal Methods for Software EngineeringAntonio Cerone, Siraj Ahmed Shaikh og 3 andreInnbundetEngelskDel av serien Texts in Theoretical Computer Science. An EATCS SeriesLegg i handlekurvNettlager
On the Construction of Engineering HandbooksApurva Kumar, Tom Maibaum og 2 andrePocketEngelskDel av serien SpringerBriefs in Computer ScienceLegg i handlekurvNettlager
