01647nlm0 22004571i 450 9900092536004033219783540691495000925360FED01000925360(Aleph)000925360FED0100092536020100926d2008----km-y0itay50------baengDEdrnn-008mamaaVerified Software: Theories, Tools, ExperimentsRisorsa elettronicaFirst IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussionsedited by Bertrand Meyer, Jim WoodcockBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97434171Documento elettronicoTestoFormato html, pdfMeyer,BertrandWoodcock,JimITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-69149-5EB990009253600403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogics and Meanings of ProgramsOperating SystemsOperating systems (Computers)Programming Languages, Compilers, InterpretersProgramming TechniquesSoftware engineeringSoftware EngineeringVerified Software: Theories, Tools, Experiments774051UNINA