00976nam0 2200277 450 00002481620090303112931.020090303d1965----km-y0itaa50------bagerDEFriedrich NietzschePeter PützStuttgartJ. B. Metzlersche Verlagsbuchhandlung1965XII, 104 p.19 cmSammlung Metzler622001Sammlung Metzler62Nietzsche,Friedrich193(21. ed.)Filosofia occidentale moderna. Germania e AustriaPütz,Peter757501ITUniversità della Basilicata - B.I.A.RICAunimarc000024816Friedrich Nietzsche1528327UNIBASLETTEREEXT100120090303BAS011129BAS01BAS01BOOKBASA1Polo Storico-UmanisticoFMASFondo MasiniFMas/817/1602817/1062B817/16022009030304Prestabile Didattica01222nam--2200373---450-99000308915020331620090202112218.0978-88-217-2648-4000308915USA01000308915(ALEPH)000308915USA0100030891520080331d2007----km-y0itay50------baitaIT||||||||001yyDisciplina delle perditecontabilità ordinaria, operazione straordinarie, consolidato, trasparenza, aspetti internazionaliGianfranco Ferranti ...[et al.][Milanofiori, Assago]Ipsoa2007388 p.24 cmTemi di diritto d'impresa42001Temi di diritto d'impresaAziendeContabilità*BNCF657.7ITsalbcISBD990003089150203316657.7 DIS 1 (IRA 25 598)16134 ECIRA00210336BKECOCHIARA9020080331USA011148CHIARA9020080331USA011246CHIARA9020080401USA011005RSIAV29020090202USA011122Disciplina delle perdite1019409UNISA04177oam 2200397zu 450 99620437220331620210807003344.0(CKB)111026746745296(SSID)ssj0000558379(PQKBManifestationID)12197975(PQKBTitleCode)TC0000558379(PQKBWorkID)10559343(PQKB)11083657(NjHacI)99111026746745296(EXLCZ)9911102674674529620160829d1997 uy engur|||||||||||txtccrHigh-Assurance Software Engineering Workshop, 1997[Place of publication not identified]IEEE Computer Society Press19971 online resource (xii, 227 pages) illustrationsBibliographic Level Mode of Issuance: Monograph0-8186-7971-9 On the development of dependability-evaluation workbench for high-assurance system designers,"A. -- Taming the Octopus: using formal models to integrate the Octopus object oriented analysis models,"R. -- Do you trust your compiler? Applying formal methods to constructing high-assurance compilers,"J. -- Enhancing system dependability with dynamically reconfigurable FPGAs,"K. -- Experience in capturing requirements for safety-critical medical devices in an industrial environment,"Wei-Tek -- The quality of service model and high assurance,"T. -- A graphical property specification language,"Insup -- Analytical design of evolutionary control flow components,"C. -- Verifying communication constraints in RSML specifications,"M. -- Design and assurance strategy for the NRL pump,"M. -- Automated computation of decomposable synchronization conditions,"G. -- A software environment for custom simulation and monitoring of real-time specifications,"M. -- Analytical modelling and evaluation of phased-mission systems for space applications,"A. -- Verifying fault-tolerant behavior of state machines,"M. -- Scalable and reliable synchronous collaboration environment on CORBA using WWW,"Minsoon -- An automated tool for efficiently generating a massive number of random test cases,"A. -- Evaluation and improvement of software products and processes based on measurement,"F. -- Framework of a software reliability engineering tool,"S. -- Design of a portable control-flow checking technique,"Z. -- A recovery model for extended real-time transactions,"E. -- Software complexity analysis on department of defense real-time systems,"W. -- Hierarchical specification of system behavior,"R. -- High-coverage fault tolerance in real-time systems based on point-to-point communication,"K. -- ReSoFT: a reusable testbed for development and evaluation of software fault-tolerant systems,"K. -- Process measures for predicting software quality,"T. -- Deriving safety properties of critical software from the system risk analysis, application to ground transportation systems,"J. -- High assurance application systems and their technologies under changing situations,"K. -- Toward more effective testing for high assurance systems,"H. -- Combining testing and correctness verification in software reliability assessment,"B. -- Efficient compositional state-space verification for communicating processes in distributed systems,"J. -- Modeling applications for adaptive QoS-based resource management,"S. -- Ensuring quality of service for multimedia applications in a LAN environment,"H. -- A case study of agreement problems in distributed systems: non-blocking atomic commitment,"M. -- A mechanism for communicating in dynamically reconfigurable embedded systems,"M. -- A technique to analyze the tolerance to transient overloads of a fault-tolerant real-time system,"G.This volume on software design and development is aimed at researchers, professors, practitioners, students, and other computing professionals.".Quality assuranceCongressesQuality assurance658.562PQKBBOOK996204372203316High-Assurance Software Engineering Workshop, 19972369731UNISA