01182nam0 2200301 i 450 VAN0010902420240806100738.671978-33-19-08698-9N978331908699620170504d2015 |0itac50 baengCH|||| |||||Formal Specification LevelConcepts, Methods, and AlgorithmsMathias Soeken, Rolf DrechslerChamSpringer2015viii, 138 p.24 cmCHChamVANL001889SoekenMathiasVANV084297720581DrechslerRolfVANV084298720580Springer <editore>VANV108073650ITSOL20240906RICAhttp://link.springer.com/book/10.1007%2F978-3-319-08699-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00109024BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 1076 15EB 1076 20170504 Formal Specification Level1412204UNICAMPANIA