Tools

LEADER 01850nam 22003613u 4500

001 ssj0003335220;

003 WaSeSS;

005 20250714084803.0;

006 m d ;

007 cr n ;

008 250714s2025 ||||||||s|||||||| ||||| d;

035 a| (WaSeSS)ssj0003335220;

040 a| WaSeSSc| WaSeSSd| WaSeSS;

049 a| EREEa| NEHH;

100 1 a| Margaria, Tiziana.?| UNAUTHORIZED;

245 10 a| Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologiesh| [electronic resource] :b| 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV /c| Margaria, Tiziana.;

250 a| First edition.;

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

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| Steffen, Bernhard.=| ^A381039;

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-75387-9;

856 40 z| Full text available from Springer Computer Science eBooks 2025u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F978-3-031-75387-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| 6595365;

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

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

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

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV / Margaria, Tiziana.

Author/creator	Margaria, Tiziana
Other author	Steffen, Bernhard.
Format	Electronic
Edition	First edition.
Publication Info	[S.l.] : Springer,
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from Springer Computer Science eBooks 2025

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.

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV / Margaria, Tiziana.

Click here for more information about this title