Tools

LEADER 03594cam a22006497a 4500

001 ssj0000446476;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 100427s2010 gw a sb 101 0 eng d;

010 a| 2010927591;

015 a| 10,N212| dnb;

016 7 a| 10025403562| DE-101;

020 a| 9783642134630 (pbk.);

020 a| 3642134637 (pbk.);

035 a| (WaSeSS)ssj0000446476;

042 a| lccopycat;

049 a| EREEa| NEHH;

050 00 a| QA76.9.D5b| I573 2010;

072 7 a| QA2| lcco;

082 04 a| 004.362| 22/ger;

111 2 a| International Conference on Formal Methods for Open Object-Based Distributed Systemsn| (12th :d| 2010 :c| Amsterdam, Netherlands)?| UNAUTHORIZED;

245 10 a| Formal techniques for distributed systemsh| [electronic resource] :b| joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings /c| John Hatcliff, Elena Zucca (eds.).;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xii, 231, [2] p. :b| ill. ;c| 24 cm.;

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

490 1 a| LNCS sublibrary: SL 2-programming and software engineering;

500 a| Copyright by IFIP International Federation for Information Processing.;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Electronic data processingx| Distributed processingv| Congresses.=| ^A419097;

650 0 a| Object-oriented programming (Computer science)v| Congresses.=| ^A234381;

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

650 07 a| Verteiltes System.2| swd;

650 07 a| Formale Methode.2| swd;

651 7 a| Amsterdam <2010>2| swd?| UNAUTHORIZED;

655 0 a| Electronic books.=| ^A491897;

700 1 a| Hatcliff, John,d| 1966-=| ^A437388;

700 1 a| Zucca, Elena.?| UNAUTHORIZED;

711 2 a| FORTE 2010d| (2010 :c| Amsterdam, Netherlands)?| UNAUTHORIZED;

830 0 a| Lecture notes in computer science ;v| 6117.=| ^A466336;

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

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-13463-0;

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-13464-7;

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

947 a| (OCoLC)ocn641458922;

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| 4085185;

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

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

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

Formal techniques for distributed systems joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings / John Hatcliff, Elena Zucca (eds.).

Author/creator	International Conference on Formal Methods for Open Object-Based Distributed Systems
Other author	Hatcliff, John, 1966-
Other author	Zucca, Elena.
Other author	FORTE 2010 (2010 : Amsterdam, Netherlands)
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xii, 231, [2] p. : ill. ; 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 2010 English International
Subjects	Electronic data processing--Distributed processing. --Congresses. Object-oriented programming (Computer science)--Congresses. Formal methods (Computer science)--Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 6117 LNCS sublibrary: SL 2-programming and software engineering Lecture notes in computer science ; 6117. ^A466336 LNCS sublibrary. SL 2, Programming and software engineering. UNAUTHORIZED
General note	Copyright by IFIP International Federation for Information Processing.
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2010927591
ISBN	9783642134630 (pbk.)
ISBN	3642134637 (pbk.)

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

Formal techniques for distributed systems joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings / John Hatcliff, Elena Zucca (eds.).

Click here for more information about this title

Availability