Call Number (LC) | Title | Results |
---|---|---|
QA76.9.F67 N45 2019 |
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings / Formal methods : an appetizer / |
2 |
QA76.9.F67 N45 2020eb | NASA Formal Methods 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings / | 1 |
QA76.9.F67 N46 2011 | NASA formal methods third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / | 1 |
QA76.9.F67 N46 2012 | NASA formal methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / | 1 |
QA76.9.F67 N46 2013 | NASA formal methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / | 1 |
QA76.9.F67 N57 1999 | Formal specification : techniques and applications / | 1 |
QA76.9.F67 R546 2009 | Rigorous methods for software construction and analysis essays dedicated to Egon Börger on the occasion of his 60th birthday / | 1 |
QA76.9.F67 R87 2022 | Formal verification of floating-point hardware design : a mathematical approach / | 1 |
QA76.9.F67 R9 2007eb | Runtime verification 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / | 1 |
QA76.9.F67 S56 2013 | Using Event-B for critical device software systems | 1 |
QA76.9.F67 S64 2001 | Software specification methods : an overview using a case study / | 2 |
QA76.9.F67 S64 2006eb | Software specification methods / | 1 |
QA76.9.F67 S97 2012 | System specification and design languages selected contributions from FDL 2010 / | 1 |
QA76.9.F67 T34 2011 | Theory and applications of formal argumentation first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised selected papers / | 1 |
QA76.9.F67 T46 2004 | Teaching formal methods : CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004 : proceedings / | 1 |
QA76.9.F67 T46 2009 | Teaching formal methods Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings / | 1 |
QA76.9.F67 W67 | FM ... formal methods. | 1 |
QA76.9.G37 J66 1996 | Garbage collection : algorithms for automatic dynamic memory management / | 1 |
QA76.9.G68 A33 2003eb |
The government machine a revolutionary history of the computer / The government machine : a revolutionary history of the computer / |
2 |
QA76.9.G68 H53 1980 | Information, computer, and communications policies for the 80's : an OECD report : proceedings of the High Level Conference on Information, Computer, and Communications Policies for the 80's, Paris, 6th-8th October, 1980 / | 1 |