-
241
-
242Published 1987Subjects: “…Concurrent programming languages…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
243Published 2009Subjects: “…Program semantics…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
244Published 2007Subjects: “…Program verification…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
245Published 2014Subjects: “…Program semantics…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
246Published 1995Subjects: “…Program semantics…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
247Published 2018Subjects: “…Program analysis…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
248Published 2017Subjects: “…Program analysis…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
249Published 2003Subjects: “…Program verification…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
250Published 2008Subjects: “…Program semantics…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
251Published 2002Subjects: “…General programming languages…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
252Published 2002Subjects: “…Program verification…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
253Published 1999Subjects: “…Program verification…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
254Published 2015Subjects: “…Program semantics…”
Full Text via HEAL-Link
Electronic Conference Proceeding eBook -
255
-
256
-
257
-
258
-
259
-
260by Petroutsos, EvangelosSubjects: “…BASIC (Computer program language)…”
Published 2006
Contributor biographical information
Publisher description
Book