25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (VII, 234 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
ISBN | 3-540-69850-7 |
Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
Record Nr. | UNISA-996465393403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
25 Years of Model Checking [[electronic resource] ] : History, Achievements, Perspectives / / edited by Orna Grumberg, Helmut Veith |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (VII, 234 p.) |
Disciplina | 005.131 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Computer programming Machine theory Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming Programming Techniques Formal Languages and Automata Theory |
ISBN | 3-540-69850-7 |
Classificazione |
DAT 003f
DAT 325f DAT 540f SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR. |
Record Nr. | UNINA-9910767508103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIV, 432 p. 83 illus.) |
Disciplina | 006.31 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Algorithms Computer science Compilers (Computer programs) Artificial intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence |
ISBN | 3-319-91271-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. |
Record Nr. | UNISA-996465825303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIV, 432 p. 83 illus.) |
Disciplina | 006.31 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Algorithms Computer science Compilers (Computer programs) Artificial intelligence Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Artificial Intelligence |
ISBN | 3-319-91271-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers. |
Record Nr. | UNINA-9910349429803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXI, 426 p. 143 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Software engineering Compilers (Computer programs) Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering Compilers and Interpreters |
ISBN | 3-319-33600-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets -- A Universal Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic -- Proving Determinacy of PharOS in TLA+ -- A Rigorous Correctness Proof for Pastry -- Enabling Analysis for B and Event-B -- A Compact Encoding of Sequential ASMs in Event-B -- Proof Assisted Symbolic Model Checking for B and Event-B -- On Component-based Reuse for Event-B -- Using B and ProB for Data Validation Projects -- Generating Event-B Specifications from Algorithm Descriptions -- Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions -- How to Select the Suitable Formal Method for an Industrial Application: A Survey -- Unified Syntax for Abstract State Machines -- A Relational Encoding for a Clash-Free Subset of ASMs -- Towards an ASM Thesis for Reflective Sequential Algorithms -- A Model-based Transformation Approach to Reuse and Retarget CASM Specifications -- Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy -- `The Tinker' for Rodin -- A Graphical Tool for Event Refinement Structures in Event-B -- Rodin Platform Why3 plug-in -- Semi-Automated Design Space Exploration for Formal Modelling -- Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development -- UC-B: Use Case Modelling with Event-B -- Interactive Model Repair by Synthesis -- SysML2B: Automatic Tool for B Project Graphical Architecture Design using SysML -- Mechanized Refinement of Communication Models with TLA+ -- A Super Industrial Application of PSGraph -- The Hemodialysis Machine Case Study -- How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study -- Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotionStudio, and Co-simulation -- Hemodialysis Machine in Hybrid Event-B -- Modeling a Hemodialysis Machine using Algebraic State-Transition Diagrams and B-like Methods -- Modelling the Haemodialysis Machine with Circus. |
Record Nr. | UNISA-996465777503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [[electronic resource] ] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXI, 426 p. 143 illus.) |
Disciplina | 004 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science Software engineering Compilers (Computer programs) Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering Compilers and Interpreters |
ISBN | 3-319-33600-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets -- A Universal Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic -- Proving Determinacy of PharOS in TLA+ -- A Rigorous Correctness Proof for Pastry -- Enabling Analysis for B and Event-B -- A Compact Encoding of Sequential ASMs in Event-B -- Proof Assisted Symbolic Model Checking for B and Event-B -- On Component-based Reuse for Event-B -- Using B and ProB for Data Validation Projects -- Generating Event-B Specifications from Algorithm Descriptions -- Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions -- How to Select the Suitable Formal Method for an Industrial Application: A Survey -- Unified Syntax for Abstract State Machines -- A Relational Encoding for a Clash-Free Subset of ASMs -- Towards an ASM Thesis for Reflective Sequential Algorithms -- A Model-based Transformation Approach to Reuse and Retarget CASM Specifications -- Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy -- `The Tinker' for Rodin -- A Graphical Tool for Event Refinement Structures in Event-B -- Rodin Platform Why3 plug-in -- Semi-Automated Design Space Exploration for Formal Modelling -- Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development -- UC-B: Use Case Modelling with Event-B -- Interactive Model Repair by Synthesis -- SysML2B: Automatic Tool for B Project Graphical Architecture Design using SysML -- Mechanized Refinement of Communication Models with TLA+ -- A Super Industrial Application of PSGraph -- The Hemodialysis Machine Case Study -- How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study -- Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotionStudio, and Co-simulation -- Hemodialysis Machine in Hybrid Event-B -- Modeling a Hemodialysis Machine using Algebraic State-Transition Diagrams and B-like Methods -- Modelling the Haemodialysis Machine with Circus. |
Record Nr. | UNINA-9910483395003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XII, 384 p.) |
Disciplina | 005.12 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
ISBN | 3-540-87603-0 |
Classificazione |
54.10
DAT 550f SS 4800 004 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
Record Nr. | UNISA-996465278603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Abstract State Machines, B and Z [[electronic resource] ] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XII, 384 p.) |
Disciplina | 005.12 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer science Machine theory Compilers (Computer programs) Database management Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Compilers and Interpreters Database Management |
ISBN | 3-540-87603-0 |
Classificazione |
54.10
DAT 550f SS 4800 004 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
Record Nr. | UNINA-9910483369103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XVI, 331 p.) |
Disciplina | 005.1/14 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer programming Compilers (Computer programs) Software engineering Algorithms Machine theory Theory of Computation Programming Techniques Compilers and Interpreters Software Engineering Formal Languages and Automata Theory |
ISBN | 3-642-04652-5 |
Classificazione |
DAT 544f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System. |
Record Nr. | UNISA-996465651403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Functional Programming [[electronic resource] ] : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures / / edited by Pieter Koopman, Doaitse Swierstra |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (XVI, 331 p.) |
Disciplina | 005.1/14 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer programming Compilers (Computer programs) Software engineering Algorithms Machine theory Theory of Computation Programming Techniques Compilers and Interpreters Software Engineering Formal Languages and Automata Theory |
ISBN | 3-642-04652-5 |
Classificazione |
DAT 544f
SS 4800 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Self-adjusting Computation with Delta ML -- Spider Spinning for Dummies -- From Reduction-Based to Reduction-Free Normalization -- Libraries for Generic Programming in Haskell -- Dependently Typed Programming in Agda -- A Tutorial on Parallel and Concurrent Programming in Haskell -- An iTask Case Study: A Conference Management System. |
Record Nr. | UNINA-9910483763203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|