Matches in Library of Congress for { <http://lccn.loc.gov/2011517490> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2011517490 alternative "880-02 Keishiki shuhō no sangyōkai ōyō wākushoppu, 2011 yokōshū".
- 2011517490 alternative "Workshop on Industrial Applications of Formal Methods".
- 2011517490 contributor B12381788.
- 2011517490 contributor B12381789.
- 2011517490 created "2011.".
- 2011517490 date "2011".
- 2011517490 date "2011.".
- 2011517490 dateCopyrighted "2011.".
- 2011517490 extent "86 p. :".
- 2011517490 isPartOf "880-04 Sanpu kagaku kenkyū sokuhō".
- 2011517490 issued "2011".
- 2011517490 issued "2011.".
- 2011517490 language "jpn".
- 2011517490 publisher "Amagasaki-shi : Sangyō Gijutsu Sōgō Kenkyūjo Kumikomi Shisutemu Gijutsu Renkei Kenkyūtai,".
- 2011517490 subject "Formal methods (Computer science) Congresses.".
- 2011517490 subject "QA76.9.F67 W64 2011".
- 2011517490 title "880-01 Keishiki shuhō no sangyōkai ōyō wākushoppu, 2011 = Workshop on Industrial Applications of Formal Methods / [henshū Sangyō Gijutsu Sōgō Kenkyūjo Kumikomi Shisutemu Gijutsu Renkei Kenkyūtai].".
- 2011517490 title "880-02 Keishiki shuhō no sangyōkai ōyō wākushoppu, 2011 yokōshū".
- 2011517490 title "Workshop on Industrial Applications of Formal Methods".
- 2011517490 type "text".