LEADER 01479nam0 22003011i 450 001 UON00379080 005 20231205104518.690 100 $a20100312d1963 |0itac50 ba 101 $ager 102 $aAT 105 $a|||| ||||| 200 1 $aAusgewahlte Briefe, Reden, Schriften und Szenen aus Regiebuchern$fMax Reinhardt$gVorbemerkung von Helene Thimig-Reinhardt$gVorwort von Josef Stummvoll$ghrsg. von Franz Hadamowsky 210 $aWien$cGeorg Prachner Verlag$d1963 215 $a210 p.$cmit 16 Bildtafeln$d24 cm. 410 1$1001UON00379084$12001 $aMuseion$eVeroffentlichungen der osterreichischen Nationalbibliothek in Wien. Neue Folge, erste Reihe: Veroffentlichungen der Theatersammlung$1210 $aWien$cGeorg Prachner Verlag.$vBd. 3 620 $aAT$dWien$3UONL003140 676 $a832$cLetteratura drammatica tedesca$v21 700 1$aREINHARDT$bMax$3UONV195960$0566007 702 1$aHADAMOWSKI$bFranz$3UONV195962 702 1$aSTUMMVOLL$bJosef$3UONV135991 702 1$aTHIMIG-REINHARDT$bHelene$3UONV195961 712 $aPrachner Georg verlag$3UONV263658$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00379080 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI FS 03604 $eSI FP 1353 5 996 $aAusgewahlte Briefe, Reden, Schriften und Szenen aus Regiebuchern$91356345 997 $aUNIOR LEADER 02552nam 22005415 450 001 9910735775203321 005 20230719133324.0 010 $a3-031-38828-3 024 7 $a10.1007/978-3-031-38828-6 035 $a(MiAaPQ)EBC30656986 035 $a(Au-PeEL)EBL30656986 035 $a(DE-He213)978-3-031-38828-6 035 $a(PPN)272250139 035 $a(CKB)27675006500041 035 $a(EXLCZ)9927675006500041 100 $a20230719d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTests and Proofs $e17th International Conference, TAP 2023, Leicester, UK, July 18?19, 2023, Proceedings /$fedited by Virgile Prevosto, Cristina Seceleanu 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (202 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14066 311 08$aPrint version: Prevosto, Virgile Tests and Proofs Cham : Springer International Publishing AG,c2023 9783031388279 327 $aLow-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement. 330 $aThis book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14066 606 $aReasoning 606 $aComputer science 606 $aInformal Logic 606 $aModels of Computation 615 0$aReasoning. 615 0$aComputer science. 615 14$aInformal Logic. 615 24$aModels of Computation. 676 $a005.1 700 $aPrevosto$b Virgile$01378504 701 $aSeceleanu$b Cristina$01378505 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910735775203321 996 $aTests and Proofs$93417115 997 $aUNINA LEADER 01558oas 2200613 a 450 001 9910144747003321 005 20251105213014.0 035 $a(OCoLC)269412899 035 $a(CONSER) 2009252840 035 $a(CKB)1000000000378173 035 $a(DE-599)ZDB2425585-3 035 $a(EXLCZ)991000000000378173 100 $a20081106a20049999 sy 101 0 $afre 135 $aurun||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aActivite?s $erevue e?lectronique 210 $aVitry-sur-Seine $cSocie?te? d'Ergonomie de Langue Franc?aise 215 $a1 online resource 300 $aRefereed/Peer-reviewed 311 08$a1765-2723 517 1 $a@Ctivite?s 531 1 $aActivite?s 606 $aHuman engineering$vPeriodicals 606 $aErgonomie$vPe?riodiques 606 $aHuman engineering$2fast$3(OCoLC)fst00963014 608 $aPeriodicals.$2fast 615 0$aHuman engineering 615 6$aErgonomie 615 7$aHuman engineering. 712 02$aSocie?te? d'ergonomie de langue franc?aise. 801 0$bOCLCS 801 1$bOCLCS 801 2$bOCLCS 801 2$bWAU 801 2$bOCLCQ 801 2$bOCLCF 801 2$bCUS 801 2$bOCLCO 801 2$bOCLCA 801 2$bOCLCQ 801 2$bVT2 801 2$bOCLCQ 801 2$bCZL 801 2$bOCLCO 801 2$bOCLCQ 801 2$bUEJ 801 2$bOCLCQ 906 $aJOURNAL 912 $a9910144747003321 996 $aActivités$92180549 997 $aUNINA