Formal methods and software engineering
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
International Conference on Formal Engineering Methods 2012 : Kyoto, Japan)
creator
Aoki, Toshiaki.
Taguchi, Kenji
1956-
text
bibliography
conference publication
Electronic books.
gw
Berlin
New York
Springer
[2012]
2012
2012
monographic
eng
xiv,512p.: ill.;
Toshiaki Aoki, Kenji Taguchi (eds.).
Includes bibliographical references and author index.
Mode of access: World Wide Web.
Formal methods (Computer science)
Congresses
Software engineering
Congresses
Computer software
Verification
Congresses
Computer software
Verification
Formal methods (Computer science)
Software engineering
QA 76.9 .F67 F6
Lecture notes in computer science, 7635
LNCS sublibrary
SL 2
Programming and software engineering
9783642342806 (pbk. : alk. paper)
03029743
2012949358
http://JE5QH2YG7P.search.serialssolutions.com/?V=1.0&L=JE5QH2YG7P&S=JCs&C=TC0000788959&T=marc
http://JE5QH2YG7P.search.serialssolutions.com/?V=1.0&L=JE5QH2YG7P&S=JCs&C=TC0000788959&T=marc
L.C
120913
20200720082842.0
ssj0000788959