Languages
Chaudhuri, Swarat.
Overview
Works: | 3 works in 2 publications in 1 languages |
---|
Titles
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
by:
SpringerLink (Online service); Chaudhuri, Swarat.; Farzan, Azadeh.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part II /
by:
SpringerLink (Online service); Chaudhuri, Swarat.; Farzan, Azadeh.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
by:
Farzan, Azadeh.; SpringerLink (Online service); Chaudhuri, Swarat.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part I /
by:
SpringerLink (Online service); Chaudhuri, Swarat.; Farzan, Azadeh.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Mathematical logic.
Computer organization.
Software Engineering/Programming and Operating Systems.
Computer logic.
Software engineering.
Computer Science.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software