Jump to main content

yr 〜
yr

Search results 4

Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : 9th international conference on integrated formal methods : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7316)

Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : 9th international conference on integrated formal methods : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7316)
Paper図書
Springerc2012.<M17-13-532>
National Diet Library
  • Author Heading...: Pisa, Italy) Derrick, John, 1963- Consiglio Nazionale delle Ric...

Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7321)

Integrated formal methods : 9th international conference, IFM 2012 : Pisa, Italy, June 18-21, 2012 : proceedings : ABZ 2012 : 3rd internatinoal conference on abstract state machines, alloy, B, VDM, and Z : iFM&ABZ 2012 : iFM event : joint iFM2012 and ABZ2012 conference : Jun 2012, Pisa, Italy. (Lecture Notes in Computer Science ; 7321)
Paper図書
Springerc2012.<M17-13-536>
National Diet Library
  • Author Heading...: Pisa, Italy) Derrick, John, 1963- Consiglio Nazionale delle Ric...

Formal techniques for networked and distributed systems -- FORTE 2007 : 27th IFIP WG 6.1 international conference : Tallinn, Estonia, June 27-29, 2007 : proceedings. : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4574)

Formal techniques for networked and distributed systems -- FORTE 2007 : 27th IFIP WG 6.1 international conference : Tallinn, Estonia, June 27-29, 2007 : proceedings. : Jun 2007, Tallinn, Estonia. (Lecture Notes in Computer Science ; 4574)
Paper図書
Springerc2007.<M17-07-2932>
National Diet Library
  • Author Heading...puter Science. Derrick, John, 1963- Vain, Jüri. Tallinna Tehnikau...

Integrated formal methods : 4th international conference, IFM 2004 : Canterbury, UK, April 4-7, 2004 : proceedings. : Apr 2004, Canterbury, UK. (Lecture Notes in Computer Science ; 2999)

Integrated formal methods : 4th international conference, IFM 2004 : Canterbury, UK, April 4-7, 2004 : proceedings. : Apr 2004, Canterbury, UK. (Lecture Notes in Computer Science ; 2999)
Paper図書
Springer-Verlagc2004.<M17-04-2965>
National Diet Library
  • Author Heading..., Eerke, 1966- Derrick, John, 1963- Smith, Graeme, 1966- Internat...

Reached to the end of result.

RSS