Tools

LEADER 02032cam 22003733u 4500

001 ssj0002501239;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 240513s2021 ||||||||s|||||||| ||||| d;

035 a| (WaSeSS)ssj0002501239;

040 a| WaSeSSc| WaSeSSd| WaSeSS;

049 a| EREEa| NEHH;

100 1 a| Groote, Jan Friso.?| UNAUTHORIZED;

245 10 a| Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 202h| [electronic resource] /c| Groote, Jan Friso.;

250 a| 1st ed. 2021.;

260 a| [S.l.] :b| Springer International Publishing,;

500 a| Title from content provider.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

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

700 1 a| Larsen, Kim Guldstrand.?| UNAUTHORIZED;

710 1 a| SpringerLink (Online service)=| ^A603930;

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

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-030-72016-2;

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

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6203399-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 7/21/2023x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6203399-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 7/21/2023x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 6203399-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 7/21/2023x| EBOOKz| JERESOURCE;

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 202 / Groote, Jan Friso.

Author/creator	Groote, Jan Friso
Other author	Larsen, Kim Guldstrand.
Other author	SpringerLink (Online service)
Format	Electronic
Edition	1st ed. 2021.
Publication Info	[S.l.] : Springer International Publishing,
Supplemental Content	Full text available from Springer Nature - Springer Computer Science (R0) eBooks 2021 English International
Supplemental Content	Full text available from Springer Books

General note	Title from content provider.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 202 / Groote, Jan Friso.

Click here for more information about this title