Formal Methods and Software Engineering

Guardat en:

Dades bibliogràfiques
Autor principal:	Ogata, Kazuhiro
Altres autors:	Mery, Dominique, Sun, Meng, Liu, Shaoying
Format:	eBook
Idioma:	anglès
Publicat:	Springer Nature, 2024.
Matèries:	Computer Science
Accés en línia:	Access eBook
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MARC


LEADER	00000nam a2200000 a 4500
001	19008
005	20261004181650.0
008	261004s2024 o 000 eng
020			\|a 978-981-96-0617-7
100	1		\|a Ogata, Kazuhiro \|9 40515
700	1		\|a Mery, Dominique \|9 35871
700	1		\|a Sun, Meng \|9 36277
700	1		\|a Liu, Shaoying \|9 35369
245	0	0	\|a Formal Methods and Software Engineering
260			\|b Springer Nature, \|c 2024.
300			\|a 1 online resource
650		4	\|a Computer Science \|9 69352
538			\|a Mode of access: World Wide Web.
856	4	0	\|u https://library.mist.ac.bd/ebooks/5679/go?src=vufind \|z Access eBook
942			\|c EBOOK
999			\|c 19008 \|d 19008