| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910778084603321 |
|
|
Titolo |
Engineering methods and tools for software safety and security [[electronic resource] /] / [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington, DC, : IOS Press, 2009 |
|
|
|
|
|
|
|
ISBN |
|
1-4416-1613-6 |
1-60750-410-3 |
600-00-1467-8 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (344 p.) |
|
|
|
|
|
|
Collana |
|
NATO science for peace and security series |
|
|
|
|
|
|
Altri autori (Persone) |
|
BroyM. <1949-> |
SitouWassiou |
HoareC. A. R <1934-> (Charles Antony Richard) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Engineering - Data processing |
Engineering - Methodology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Title 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 |
A 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 |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Based 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. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996201023803316 |
|
|
Titolo |
International journal of modelling & simulation : a journal of the International Association of Science and Technology for Development, IASTED |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Anaheim, CA ; ; Algary, : ACTA Press |
|
[Abingdon, Oxfordshire, UK], : Taylor & Francis |
|
|
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematical models |
Simulation methods |
Simulation par ordinateur - PrÌŒiodiques |
Modl̈es mathm̌atiques - Přiodiques |
Modèles mathématiques |
Méthodes de simulation |
Computersimulation |
Zeitschrift |
Periodical |
periodicals. |
Periodicals. |
Périodiques. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNICAMPANIAVAN00050903 |
|
|
Autore |
Romano, Antonio, fisico |
|
|
Titolo |
1: Elementi di algebra lineare e geometria differenziale / Antonio Romano, Giulio Starita |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
88-207-2096-5 |
978-88-207-2096-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
70-XX - Mechanics of particles and systems [MSC 2020] |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |