Jump to main content

yr 〜
yr

Search results 5

Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014 : Bertinoro, Italy, June 16-20, 2014 : advanced lectures : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)

Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014 : Bertinoro, Italy, June 16-20, 2014 : advanced lectures : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)
Paper図書
Springer[2014]<M17-15-592>
National Diet Library
  • Author Heading...rnardo, Marco. Damiani, Ferruccio. Hähnle, Reiner. Johnsen, Ein...

Formal verification of object-oriented software : international conference, FoVeOOS 2011 : Turin, Italy, October 5-7, 2011 : revised selected papers : Oct 2011, Turin, Italy. (Lecture Notes in Computer Science ; 7421)

Formal verification of object-oriented software : international conference, FoVeOOS 2011 : Turin, Italy, October 5-7, 2011 : revised selected papers : Oct 2011, Turin, Italy. (Lecture Notes in Computer Science ; 7421)
Paper図書
Springerc2012.<M17-13-576>
National Diet Library
  • Author Heading...ert, Bernhard. Damiani, Ferruccio. Gurov, Dilian. COST Action IC...

Types for proofs and programs : international conference, TYPES 2008 : Torino, Italy, March 26-29, 2008 : revised selected papers. : annual workshop of the TYPES project (EU coordination action 510996) : Mar 2008, Torino, Italy. (Lecture Notes in Computer Science ; 5497)

Types for proofs and programs : international conference, TYPES 2008 : Torino, Italy, March 26-29, 2008 : revised selected papers. : annual workshop of the TYPES project (EU coordination action 510996) : Mar 2008, Torino, Italy. (Lecture Notes in Computer Science ; 5497)
Paper図書
Springerc2009.<M17-10-298>
National Diet Library
  • Author HeadingBerardi, Stefano. Damiani, Ferruccio. De'Liguoro, Ugo. TYPES 2008 (...

Types for proofs and programs : international workshop, TYPES 2003 : Torino, Italy, April 30-May 4, 2003 : revised selected papers. : 3rd annual workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Apr 2003, Torino, Italy. (Lecture Notes in Computer Science ; 3085)

Types for proofs and programs : international workshop, TYPES 2003 : Torino, Italy, April 30-May 4, 2003 : revised selected papers. : 3rd annual workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001) : Apr 2003, Torino, Italy. (Lecture Notes in Computer Science ; 3085)
Paper図書
Springerc2004.<M17-04-3073>
National Diet Library
  • Author HeadingBerardi, Stefano. Coppo, Mario. Damiani, Ferruccio. TYPES 2003 (2003 : Torino, It...

Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers

Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
Paper図書
Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)Springerc2004
Other Libraries in Japan

Reached to the end of result.

RSS