LEADER 01976oam 22005294a 450 001 9910524685803321 005 20210915035058.0 035 $a(CKB)5280000000212785 035 $a(OCoLC)1083109829 035 $a(MdBmJHUP)muse33808 035 $a(EXLCZ)995280000000212785 100 $a20070806d2008 uy 0 101 0 $aeng 135 $aur|||||||nn|n 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aGalactic Suburbia$eRecovering Women's Science Fiction /$fLisa Yaszek 210 1$aColumbus :$cOhio State University Press,$d2008. 210 4$dİ2008. 215 $a1 online resource (xii, 234 p.) : $cill. ; 311 $a0-8142-5164-1 320 $aIncludes bibliographical references (p. 211-224) and index. 327 $aWriters -- Homemakers -- Activists -- Scientists. 606 $aSex role in literature 606 $aFeminist fiction, American$xHistory and criticism 606 $aWomen and literature$zUnited States$xHistory$y20th century 606 $aFeminism and literature$zUnited States$xHistory$y20th century 606 $aAmerican fiction$y20th century$xHistory and criticism 606 $aAmerican fiction$xWomen authors$xHistory and criticism 606 $aScience fiction, American$xHistory and criticism 608 $aElectronic books. 615 0$aSex role in literature. 615 0$aFeminist fiction, American$xHistory and criticism. 615 0$aWomen and literature$xHistory 615 0$aFeminism and literature$xHistory 615 0$aAmerican fiction$xHistory and criticism. 615 0$aAmerican fiction$xWomen authors$xHistory and criticism. 615 0$aScience fiction, American$xHistory and criticism. 676 $a813/.08762099287 700 $aYaszek$b Lisa$f1969-$01200141 801 0$bMdBmJHUP 801 1$bMdBmJHUP 906 $aBOOK 912 $a9910524685803321 996 $aGalactic Suburbia$92772196 997 $aUNINA LEADER 03160nam 2200637Ia 450 001 9910778084603321 005 20230721021819.0 010 $a1-4416-1613-6 010 $a1-60750-410-3 010 $a600-00-1467-8 035 $a(CKB)1000000000765358 035 $a(EBL)448762 035 $a(OCoLC)430325602 035 $a(SSID)ssj0000337255 035 $a(PQKBManifestationID)12133448 035 $a(PQKBTitleCode)TC0000337255 035 $a(PQKBWorkID)10288428 035 $a(PQKB)10090129 035 $a(MiAaPQ)EBC448762 035 $a(Au-PeEL)EBL448762 035 $a(CaPaEBR)ebr10309220 035 $a(CaONFJC)MIL577658 035 $a(EXLCZ)991000000000765358 100 $a20081229d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aEngineering methods and tools for software safety and security$b[electronic resource] /$f[edited by] Manfred Broy, Wassiou Sitou, Tony Hoare 210 $aWashington, DC $cIOS Press$d2009 215 $a1 online resource (344 p.) 225 0 $aNATO science for peace and security series 300 $aDescription based upon print version of record. 311 $a1-58603-976-8 320 $aIncludes bibliographical references and index. 327 $aTitle page; Preface; Contents; A Mechanical Press Controller Development; Synchronous Techniques for Software and Hardware Embedded Systems; Relating Time and Causality in Interactive Distributed Systems; Incremental Design of Distributed Systems with Event-B; Principles of Program Termination - Notes for the Marktoberdorf Summer School; Graphical Models of Separation Logic; Verification, Performance Analysis and Controller Synthesis for Real-Time Systems; Specification and Verification of Object-Oriented Software 327 $aA Mechanically Checked Proof of the Correctness of the Boyer-Moore Fast String Searching AlgorithmAn Introduction to Separation Logic; Unifying Theories of Undefinedness; Subject Index; Author Index 330 $aBased on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice. 410 0$aNATO Science for Peace and Security Series D: Information and Communication Security, v. 22 606 $aEngineering$xData processing 606 $aEngineering$xMethodology 615 0$aEngineering$xData processing. 615 0$aEngineering$xMethodology. 676 $a005.8 701 $aBroy$b M.$f1949-$01475626 701 $aSitou$b Wassiou$01561213 701 $aHoare$b C. A. R$g(Charles Antony Richard),$f1934-$01482550 712 12$aNATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910778084603321 996 $aEngineering methods and tools for software safety and security$93827736 997 $aUNINA