Tools

LEADER 03789cam a22007217i 4500

001 ssj0001187249;

003 WaSeSS;

005 20260812090312.0;

006 m d ;

007 cr n ;

008 140206t20142014gw a sb 101 0 eng d;

010 a| 2014932690;

016 7 a| 0166511542| Uk;

020 a| 9783642543371;

020 a| 3642543375;

020 z| 9783642543388;

035 a| (WaSeSS)ssj0001187249;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.758b| .I573 2014;

111 2 a| International Conference on Software Engineering and Formal Methodsn| (10th :d| 2012 :c| Thessalonikē, Greece);

245 10 a| Information technology and open sourceh| [electronic resource] :b| applications for education, innovation, and sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 : revised selected papers /c| Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos (eds.);

246 30 a| SEFM 2012;

246 30 a| InSuEdu 2012;

246 30 a| MoKMaSD 2012;

246 30 a| OpenCert 2012;

260 a| Heidelberg :b| Springer,c| [2014];

300 a| xv, 303 pages :b| illustrations ;c| 24 cm.;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 7991;

490 1 a| LNCS sublibrary. SL 2, Programming and software engineering;

504 a| Includes bibliographical references and author index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Software engineeringv| Congresses.;

650 0 a| Formal methods (Computer science)v| Congresses.;

650 7 a| Formal methods (Computer science)2| fast0| (OCoLC)fst00932926;

650 7 a| Software engineering.2| fast0| (OCoLC)fst01124185;

655 0 a| Electronic books.;

700 1 a| Cerone, Antonio.;

700 1 a| Persico, Donatella,d| 1957-;

700 1 a| Fernandes, Sara.;

700 1 a| Garcia-Perez, Alexeis.;

700 1 a| Katsaros, Panagiotis,d| 1969-;

700 1 a| Shaikh, Siraj Ahmed.;

700 1 a| Stamelos, Ioannis G.,d| 1959-;

711 2 a| InSuEdu 2012n| (1st :d| 2012 :c| Thessalonikē, Greece);

711 2 a| MoKMaSD 2012n| (1st :d| 2012 :c| Thessalonikē, Greece);

711 2 a| OpenCert 2012n| (6th :d| 2012 :c| Thessalonikē, Greece);

830 0 a| Lecture notes in computer science ;v| 7991.;

830 0 a| LNCS sublibrary.n| SL 2,p| Programming and software engineering.;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-642-54337-1;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-642-54338-8;

856 40 z| Full text available from Springer Nature - Springer Computer Science eBooks 2014 English Internationalu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-642-54338-8;

947 a| (OCoLC)ocn880666937;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4131816;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4131816-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4131816-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/2/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4131816-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/2/2016x| EBOOKz| JERESOURCE;

Information technology and open source applications for education, innovation, and sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 : revised selected papers / Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos (eds.).

Author/creator	International Conference on Software Engineering and Formal Methods
Format	Electronic
Publication Info	Heidelberg : Springer, [2014]
Description	xv, 303 pages : illustrations ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from Springer Nature - Springer Computer Science eBooks 2014 English International
Subjects	Software engineering--Congresses. Formal methods (Computer science)--Congresses.

Other author/creator	Cerone, Antonio.
Other author/creator	Persico, Donatella, 1957-
Other author/creator	Fernandes, Sara.
Other author/creator	Garcia-Perez, Alexeis.
Other author/creator	Katsaros, Panagiotis, 1969-
Other author/creator	Shaikh, Siraj Ahmed.
Other author/creator	Stamelos, Ioannis G., 1959-
Other author/creator	InSuEdu 2012 2012 : Thessalonikē, Greece) (1st :
Other author/creator	MoKMaSD 2012 2012 : Thessalonikē, Greece) (1st :
Other author/creator	OpenCert 2012 2012 : Thessalonikē, Greece) (6th :
Portion of title	SEFM 2012
Portion of title	InSuEdu 2012
Portion of title	MoKMaSD 2012
Portion of title	OpenCert 2012
Series	Lecture notes in computer science, 0302-9743 ; 7991 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 7991. LNCS sublibrary. SL 2, Programming and software engineering.
Bibliography note	Includes bibliographical references and author index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2014932690
ISBN	9783642543371
ISBN	3642543375

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) Full text available from Springer Books Full text available from Springer Books	✔ Available

Click here for more information about this title

Availability