Limit search to available items
Save marked records Save all on page
BJL CLASSMARKS (1-12 of 12)
QA76.9.F67
1
Mark
  AFM '07 second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia

New York : ACM, 2007. -Access this resource online
2007
EBOOKS
2
Mark
  FMCAD 2016 : proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October
FMCAD 2016 (16th : 2016 : Mountain View, Calif.)
Austin, Texas : FMCAD, 2016. -Access this resource online
2016
EBOOKS
3
Mark
  ForMABS '16 : proceedings of the International Workshop on Formal Methods for Analysis of Business S

New York : ACM, 2016. -Access this resource online
2016
EBOOKS
4
Mark
  FormaliSE 2016 : proceedings, 4th FME Workshop on Formal Methods in Software Engineering : 15 May 20
FME Workshop on Formal Methods in Software Engineering (4th : 2016 : Austin, Tex.)
New York : ACM, 2016. -Access this resource online
2016
EBOOKS
5
Mark
  FormaliSE 2017 : 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineer
FME Workshop on Formal Methods in Software Engineering (5th : 2017 : Buenos Aires, Argentina)
Piscataway, New Jersey : IEEE Press, 2017. -Access this resource online
2017
EBOOKS
6
Mark
  MEMOCODE '17 : 15th ACM-IEEE International Conference on Formal Methods and Models for System Design

New York : ACM, 2017. -Access this resource online
2017
EBOOKS
7
Mark
  MEMOCODE 2013 eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign :
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, Or.)
New York : IEEE, 2013. -Access this resource online
2013
EBOOKS
8
Mark
  MEMOCODE 2013 : eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, Or.)
New York : IEEE, 2013. -Access this resource online
2013
EBOOKS
9
Mark
  Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (2015 : Austin, Tex.)
Washington, District of Columbia : IEEE Computer Society, 2015. -Access this resource online
2015
EBOOKS
10
Mark
  Proceedings of the ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (9th : 2011 : Washington, D.C.)
Washington, District of Columbia : IEEE Computer Society, 2011. -Access this resource online
2011
EBOOKS
11
Mark
  Proceedings of the tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (10th : 2012)
Washington, District of Columbia : IEEE Computer Society, 2012. -Access this resource online
2012
EBOOKS
12
Mark
  Proceedings of the twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (12th : 2014)
Washington, District of Columbia : IEEE Computer Society, 2014. -Access this resource online
2014
EBOOKS
Save marked records Save all on page
Locate in results