Formal methods (Computer science)
概要
作品: | 116 作品在 116 項出版品 116 種語言 |
---|
書目資訊
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
(書目-電子資源)
FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(書目-電子資源)
Integrated formal methods = 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings /
by:
(書目-電子資源)
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-電子資源)
FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(書目-電子資源)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(書目-電子資源)
Formal methods and testing = an outcome of the FORTEST network : revised selected papers /
by:
(書目-電子資源)
Fields of logic and computation = essays dedicated to Yuri Gurevich on the occasion of his 70th birthday /
by:
(書目-電子資源)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(書目-電子資源)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-電子資源)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(書目-電子資源)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(書目-電子資源)
Countering Counterfeit Trade = Illicit Market Insights, Best-Practice Strategies, and Management Toolbox /
by:
(書目-電子資源)
Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
by:
(書目-電子資源)
FORMS/FORMAT 2010 = formal methods for automation and safety in railway and automotive systems /
by:
(書目-電子資源)
Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(書目-電子資源)
Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers /
by:
(書目-電子資源)
Runtime verification = First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010, proceedings /
by:
(書目-電子資源)
Tests and proofs = 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 : proceedings /
by:
(書目-電子資源)
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(書目-電子資源)
Formal ontology in information systems = proceedings of the seventh International Conference (FOIS 2012) /
by:
(書目-電子資源)
Formal development of a network-centric RTOS = software engineering for reliable embedded systems /
by:
(書目-電子資源)
Integrated formal methods = 7th international conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009 ; Proceedings /
by:
(書目-電子資源)
Formal ontology in information systems = proceedings of the sixth international conference (FOIS 2010) /
by:
(書目-電子資源)
Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /
by:
(書目-電子資源)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(書目-電子資源)
更多
較少的
主題