LEADER 00689nam0-2200253 --450 
001 9910723900903321
005 20230607111024.0
010   $a978-88-337-9326-9
100   $a20230607d2021----kmuy0itay5050    ba
101 0 $aita
102   $aIT
105   $a        001yy
200 1 $aSmart working$eproblemi e soluzioni applicative$fAndrea Del Re
210   $aPisa$cPacini giuridica$d2021
215   $a110 p.$d22 cm
676   $a344.45012$v23$zita
700  1$aDel Re,$bAndrea$0148642
801  0$aIT$bUNINA$gREICAT$2UNIMARC
901   $aBK
912   $a9910723900903321
952   $aVII F 323$b2021/2081$fFGBC
959   $aFGBC
996   $aSmart working$93368313
997   $aUNINA

LEADER 01527nam  22003973  450 
001 996678677103316
005 20250904081900.0
010   $a3-031-94533-6
035   $a(MiAaPQ)EBC32276227
035   $a(Au-PeEL)EBL32276227
035   $a(CKB)40861261600041
035   $a(EXLCZ)9940861261600041
100   $a20250904d2025      uy         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aRigorous State-Based Methods $e11th International Conference, ABZ 2025, düsseldorf, Germany, June 10-13, 2025, Proceedings
205   $a1st ed.
210  1$aCham :$cSpringer,$d2025.
210  4$dİ2026.
215   $a1 online resource (564 pages)
225 1 $aLecture Notes in Computer Science Series ;$vv.15728
311 08$a3-031-94532-8 
330   $aThis book constitutes the refereed proceedings of the 11th International Conference on Rigorous State-Based Methods, ABZ 2025, held in Düsseldorf, Germany, during June 10-13, 2025.The 10 full papers, 4 short papers, 2 PhD Symposium papers and 5 case study papers presented in this book were carefully reviewed and selected from 33 submissions.
410  0$aLecture Notes in Computer Science Series
700   $aLeuschel$b Michael$0923653
701   $aIshikawa$b Fuyuki$01849899
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996678677103316
996   $aRigorous State-Based Methods$94442701
997   $aUNISA