Structured object-oriented formal language and method : second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised selected papers /

Saved in:

Bibliographic Details
Meeting name:	SOFL (Workshop) (2nd : 2012 : Kyoto, Japan)
Imprint:	Heidelberg : Springer, 2013.
Description:	1 online resource (x, 149 pages) : illustrations.
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 7787 LNCS sublibrary. SL 1, Theoretical computer science and general issues Lecture notes in computer science ; 7787, LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject:	Formal methods (Computer science) -- Congresses. Object-oriented programming (Computer science) -- Congresses. Formal methods (Computer science) Object-oriented programming (Computer science) Software -- Congresses. Conference papers and proceedings. Electronic books.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11080088

Hidden Bibliographic Details
Varying Form of Title:	SOFL 2012
Other authors / contributors:	Liu, Shaoying, 1960- editor, author.
ISBN:	9783642392771 3642392776 3642392768 9783642392764 9783642392764
Notes:	Includes author index. Includes bibliographical references and index. Online resource; title from PDF title page (SpringerLink, viewed August 20, 2013).
Summary:	This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
Other form:	Printed edition: 9783642392764
Standard no.:	10.1007/978-3-642-39277-1

Similar Items