Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
MetaSoft Primer [[electronic resource] ] : Towards a Metalanguage for Applied Denotational Semantics / / by Andrzej Blikle ; edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth
| MetaSoft Primer [[electronic resource] ] : Towards a Metalanguage for Applied Denotational Semantics / / by Andrzej Blikle ; edited by D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth |
| Autore | Blikle Andrzej |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 |
| Descrizione fisica | 1 online resource (XVI, 148 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer logic Programming Languages, Compilers, Interpreters Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-48043-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465809203316 |
Blikle Andrzej
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 ; revised papers / / Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.)
| Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 ; revised papers / / Amir Pnueli, Irina Virbitskaite, Andrei Voronkov (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2010 |
| Descrizione fisica | 1 online resource (XIII, 426 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
PnueliA
VirbitskaiteIrina VoronkovA <1959-> (Andrei) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programming
Computer science Systems engineering |
| ISBN |
1-280-38552-9
9786613563446 3-642-11486-5 |
| Classificazione | SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking (Extended Abstract) -- Invariants, Modularity, and Rights -- Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+ -- A Two-Level Approach for Modeling and Verification of Telecommunication Systems -- SVM Paradoxes -- Indexing Dense Nested Metric Spaces for Efficient Similarity Search -- On the Containment Problem for Queries in Conjunctive Form with Negation -- Towards a Scalable, Pragmatic Knowledge Representation Language for the Web -- An Experiment with the Fourth Futamura Projection -- Extracting the Essence of Distillation -- Establishing Linux Driver Verification Process -- A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols -- Proving the Equivalence of Higher-Order Terms by Means of Supercompilation -- Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams -- Applicability of the BLAST Model Checker: An Industrial Case Study -- ? K –constraints for Hybrid Systems -- A Complete Invariant Generation Approach for P-solvable Loops -- Standardization and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases -- Cryptographic Protocols Analysis in Event B -- A Query Language for Logic Architectures -- Planet Map Generation by Tetrahedral Subdivision -- Towards Checking Parametric Reachability for UML State Machines -- A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems -- A Technique for Information Retrieval from Microformatted Websites -- From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research -- History-Dependent Stochastic Petri Nets -- Privacy Preserving Modules for Ontologies -- Symbolic Bounded Conformance Checking of Model Programs -- Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture -- Anti-unification Algorithms and Their Applications in Program Analysis. |
| Altri titoli varianti | PSI 2009 |
| Record Nr. | UNINA-9910484946603321 |
| Berlin ; ; New York, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||