Jump to main content

yr 〜
yr

Search results 59

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014 : Toulouse, France, June 2-6, 2014 : proceedings : ABZ2014 : Jun 2014, Toulouse, France. (Lecture Notes in Computer Science ; 8477)

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014 : Toulouse, France, June 2-6, 2014 : proceedings : ABZ2014 : Jun 2014, Toulouse, France. (Lecture Notes in Computer Science ; 8477)
Paper図書
Springer[2014]<M17-15-591>
National Diet Library
  • Note (General).... "This year's ABZ was marked by ......Alloy and VDM, ABZ 2014 saw the introduction of ...
  • Author HeadingABZ 2014 (2014 : Toulouse, France...

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
  • Note (General)Papers. "iFM 2012, (...) and ABZ 2012, (...) jo......gle event, iFM&ABZ 2012, (...)" -......pref. of iFM & ABZ 2012. "The nov......mmunity in the ABZ conference series." -- pref. ...
  • Additional Title...al conference, ABZ 2012 : Pisa, Italy, June 18-2...
  • Author HeadingABZ (Conference) (3rd : 2012 : Pi...

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
  • Note (General)...012, (...) and ABZ 2012, (...) we......gle event, iFM&ABZ 2012, (...)" -- foreword.

Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings. : tutorials on the ASM and B simulator tools CoreAsm and Pro-B : UK EPSRC-funded verified software repository network (VSR-net) workshop : ABZ2008 conference : Sep 2008, London, UK. (Lecture Notes in Computer Science ; 5238)

Abstract state machines, B and Z : first international conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings. : tutorials on the ASM and B simulator tools CoreAsm and Pro-B : UK EPSRC-funded verified software repository network (VSR-net) workshop : ABZ2008 conference : Sep 2008, London, UK. (Lecture Notes in Computer Science ; 5238)
Paper図書
Springerc2008.<M17-09-924>
National Diet Library
  • Alternative Title...al conference, ABZ 2008 : London, UK, September ...
  • Alternative Title...al conference, ABZ 2008 : London, UK, September ...
  • Author HeadingBörger, E. (Egon) , 1946- ABZ 2008 (2008 : London, England)

Abstract state machines, alloy, B and Z : second international conference, ABZ 2010 : Orford, QC, Canada, February 22-25, 2010 : proceedings. : tutorials on alloy and BART (B automatic refinement tool) : workshop on tool building in formal methods (WTBFM 2010) : Feb 2010, Orford, Canada. (Lecture Notes in Computer Science ; 5977)

Abstract state machines, alloy, B and Z : second international conference, ABZ 2010 : Orford, QC, Canada, February 22-25, 2010 : proceedings. : tutorials on alloy and BART (B automatic refinement tool) : workshop on tool building in formal methods (WTBFM 2010) : Feb 2010, Orford, Canada. (Lecture Notes in Computer Science ; 5977)
Paper図書
Springerc2010.<M17-10-2833>
National Diet Library
  • Alternative Title...al conference, ABZ 2010 : Orford, QC, Canada, Fe...
  • Alternative Title...al conference, ABZ 2010 : Orford, QC, Canada, Fe...
  • Author HeadingFrappier, Marc, 1965- ABZ 2010 (2010 : Orford, Québec)

O ABZ do Ziraldo / textos, poemas e ilustrações do autor.

O ABZ do Ziraldo / textos, poemas e ilustrações do autor.
Paper図書児童書
Melhoramentosc2003.<Y17-B5502>
National Diet Library

O S feinho / Ziraldo. (Coleção ABZ)

O S feinho / Ziraldo. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1994.<Y17-A4412>
National Diet Library

Todos com T / Ziraldo. (Coleção ABZ)

Todos com T / Ziraldo. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1994.<Y17-A4411>
National Diet Library

Z, a missão / Ziraldo. 2a ed. (Coleção ABZ)

Z, a missão / Ziraldo. 2a ed. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1994.<Y17-A4439>
National Diet LibraryOther Libraries in Japan

Os mistérios de X / Ziraldo. 2a ed. (Coleção ABZ)

Os mistérios de X / Ziraldo. 2a ed. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1994.<Y17-A4441>
National Diet Library

O Y e o mar / Ziraldo. (Coleção ABZ)

O Y e o mar / Ziraldo. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1994.<Y17-A4440>
National Diet LibraryOther Libraries in Japan

As desventuras de Mr. W / Ziraldo. 2a ed. (Coleção ABZ)

As desventuras de Mr. W / Ziraldo. 2a ed. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1994.<Y17-A4442>
National Diet LibraryOther Libraries in Japan

Os vôos do V / Ziraldo. 2a ed. (Coleção ABZ)

Os vôos do V / Ziraldo. 2a ed. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1994.<Y17-A4443>
National Diet Library

R, a princesinha / Ziraldo. (Coleção ABZ)

R, a princesinha / Ziraldo. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1994.<Y17-A4413>
National Diet Library

Na terra de M / Ziraldo. 2a ed. (Coleção ABZ)

Na terra de M / Ziraldo. 2a ed. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1993.<Y17-A4416>
National Diet Library

O pequeno P / Ziraldo. (Coleção ABZ)

O pequeno P / Ziraldo. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1993.<Y17-A4445>
National Diet Library

Um Q todo especial / Ziraldo. (Coleção ABZ)

Um Q todo especial / Ziraldo. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1993.<Y17-A4444>
National Diet Library

H nosso herói / Ziraldo. (Coleção ABZ)

H nosso herói / Ziraldo. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1991.<Y17-A4421>
National Diet Library

Os guerreiros de K / Ziraldo. (Coleção ABZ)

Os guerreiros de K / Ziraldo. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1992.<Y17-A4418>
National Diet LibraryOther Libraries in Japan

A letra N e o nascimento da noite / Ziraldo. 2a ed. (Coleção ABZ)

A letra N e o nascimento da noite / Ziraldo. 2a ed. (Coleção ABZ)
Paper図書児童書
Melhoramentosc1993.<Y17-A4415>
National Diet LibraryOther Libraries in Japan
RSS