Tools

LEADER 01910cam 22003733u 4500

001 ssj0002834208;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 240513s2023 ||||||||s|||||||| ||||| d;

035 a| (WaSeSS)ssj0002834208;

040 a| WaSeSSc| WaSeSSd| WaSeSS;

049 a| EREEa| NEHH;

100 1 a| Lal, Akash.?| UNAUTHORIZED;

245 10 a| Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papersh| [electronic resource] /c| Lal, Akash.;

250 a| 1st ed. 2023.;

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| Tonetta, Stefano.?| UNAUTHORIZED;

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

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

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-031-25803-9;

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

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

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

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

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / Lal, Akash.

Author/creator	Lal, Akash
Other author	Tonetta, Stefano.
Other author	SpringerLink (Online service)
Format	Electronic
Edition	1st ed. 2023.
Publication Info	[S.l.] : Springer International Publishing,
Supplemental Content	Full text available from Springer Nature - Springer Computer Science (R0) eBooks 2023 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.

Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers / Lal, Akash.

Click here for more information about this title