Pastāsti draugiem par šo preci:
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing Fabio Mogavero Softcover reprint of the original 1st ed. 2013 edition
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Fabio Mogavero izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
Pieejams arī kā:
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics - Atlantis Studies in Computing
Fabio Mogavero
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior.
149 pages, 15 Tables, black and white; XVII, 149 p.
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2015. gada 9. augusts |
| ISBN13 | 9789462390560 |
| Izdevēji | Atlantis Press (Zeger Karssen) |
| Lapas | 149 |
| Izmēri | 155 × 235 × 9 mm · 244 g |
![Cover for Mohammad Ahsanullah · Characterizations of Univariate Continuous Distributions - Atlantis Studies in Probability and Statistics (Hardcover Book) [2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/383/9789462391383.jpg?mohammad-ahsanullah-2017-characterizations-of-univariate-continuous-distributions-atlantis-studies-in-probability-and-statistics-hardcover-book&class=scaled&v=1493494773)
![Cover for Modeling in Mathematics: Proceedings of the Second Tbilisi-Salerno Workshop on Modeling in Mathematics - Atlantis Transactions in Geometry (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/601/9789462392601.jpg?2017-modeling-in-mathematics-proceedings-of-the-second-tbilisi-salerno-workshop-on-modeling-in-mathematics-atlantis-transactions-in-geometry-hardcover-book&class=scaled&v=1574005938)
![Cover for Zhiqiang Li · Ergodic Theory of Expanding Thurston Maps - Atlantis Studies in Dynamical Systems (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/734/9789462391734.jpg?zhiqiang-li-2017-ergodic-theory-of-expanding-thurston-maps-atlantis-studies-in-dynamical-systems-hardcover-book&class=scaled&v=1472908546)
![Cover for Joel Guidez · Superphenix: Technical and Scientific Achievements (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/458/9789462392458.jpg?joel-guidez-2017-superphenix-technical-and-scientific-achievements-hardcover-book&class=scaled&v=1619643400)
![Cover for Proceedings of the IV Advanced Ceramics and Applications Conference (Hardcover Book) [1st ed. 2017 edition] (2017)](https://imusic.b-cdn.net/images/item/original/120/9789462392120.jpg?2017-proceedings-of-the-iv-advanced-ceramics-and-applications-conference-hardcover-book&class=scaled&v=1487192120)
![Cover for Topics in Modern Differential Geometry - Atlantis Transactions in Geometry (Hardcover Book) [2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/397/9789462392397.jpg?2016-topics-in-modern-differential-geometry-atlantis-transactions-in-geometry-hardcover-book&class=scaled&v=1514486549)
![Cover for Shulmeister · Landscape and Quaternary Environmental Change in New Zealand - Atlantis Advances in Quaternary Science (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/366/9789462392366.jpg?shulmeister-2016-landscape-and-quaternary-environmental-change-in-new-zealand-atlantis-advances-in-quaternary-science-hardcover-book&class=scaled&v=1599464278)
![Cover for Theo Van Holten · The Atomic World Spooky? It Ain't Necessarily So!: Emergent Quantum Mechanics, How the Classical Laws of Nature Can Conspire to Cause Quantum-Like Behaviour (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/335/9789462392335.jpg?theo-van-holten-2016-the-atomic-world-spooky-it-ain-t-necessarily-so-emergent-quantum-mechanics-how-the-classical-laws-of-nature-can-conspire-to-cause-quantum-like-behaviour-hardcover-book&class=scaled&v=1553622770)
![Cover for Gunter Sigl · Astroparticle Physics: Theory and Phenomenology - Atlantis Studies in Astroparticle Physics and Cosmology (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/427/9789462392427.jpg?gunter-sigl-2016-astroparticle-physics-theory-and-phenomenology-atlantis-studies-in-astroparticle-physics-and-cosmology-hardcover-book&class=scaled&v=1488995620)
![Cover for Muhammad Qaiser Shahbaz · Ordered Random Variables: Theory and Applications - Atlantis Studies in Probability and Statistics (Hardcover Book) [2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/243/9789462392243.jpg?muhammad-qaiser-shahbaz-2016-ordered-random-variables-theory-and-applications-atlantis-studies-in-probability-and-statistics-hardcover-book&class=scaled&v=1583093186)
![Cover for Shou Lin · Generalized Metric Spaces and Mappings - Atlantis Studies in Mathematics (Hardcover Book) [2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/151/9789462392151.jpg?shou-lin-2016-generalized-metric-spaces-and-mappings-atlantis-studies-in-mathematics-hardcover-book&class=scaled&v=1542753835)
![Cover for Nan Cao · Introduction to Text Visualization - Atlantis Briefs in Artificial Intelligence (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/857/9789462391857.jpg?nan-cao-2016-introduction-to-text-visualization-atlantis-briefs-in-artificial-intelligence-hardcover-book&class=scaled&v=1480195093)
![Cover for Sarka Necasova · Navier-Stokes Flow Around a Rotating Obstacle: Mathematical Analysis of its Asymptotic Behavior - Atlantis Briefs in Differential Equations (Paperback Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/304/9789462392304.jpg?sarka-necasova-2016-navier-stokes-flow-around-a-rotating-obstacle-mathematical-analysis-of-its-asymptotic-behavior-atlantis-briefs-in-differential-equations-paperback-book&class=scaled&v=1557506065)
![Cover for Helgi Bjoernsson · The Glaciers of Iceland: A Historical, Cultural and Scientific Overview - Atlantis Advances in Quaternary Science (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/069/9789462392069.jpg?helgi-bjoernsson-2016-the-glaciers-of-iceland-a-historical-cultural-and-scientific-overview-atlantis-advances-in-quaternary-science-hardcover-book&class=scaled&v=1478151783)
![Cover for Mohammad Ahsanullah · Extreme Value Distributions - Atlantis Studies in Probability and Statistics (Hardcover Book) [1st ed. 2017 edition] (2016)](https://imusic.b-cdn.net/images/item/original/212/9789462392212.jpg?mohammad-ahsanullah-2016-extreme-value-distributions-atlantis-studies-in-probability-and-statistics-hardcover-book&class=scaled&v=1482622707)
![Cover for Ornela Dardha · Type Systems for Distributed Programs: Components and Sessions - Atlantis Studies in Computing (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/038/9789462392038.jpg?ornela-dardha-2016-type-systems-for-distributed-programs-components-and-sessions-atlantis-studies-in-computing-hardcover-book&class=scaled&v=1479669641)
![Cover for Sander Klous · We are Big Data: The Future of the Information Society (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/826/9789462391826.jpg?sander-klous-2016-we-are-big-data-the-future-of-the-information-society-hardcover-book&class=scaled&v=1465312727)
![Cover for Abraham Achterberg · Gas Dynamics: An Introduction with Examples from Astrophysics and Geophysics (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/949/9789462391949.jpg?abraham-achterberg-2016-gas-dynamics-an-introduction-with-examples-from-astrophysics-and-geophysics-hardcover-book&class=scaled&v=1470653279)
![Cover for G.L.M. Groenewegen · Spaces of Continuous Functions - Atlantis Studies in Mathematics (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/007/9789462392007.jpg?g-l-m-groenewegen-2016-spaces-of-continuous-functions-atlantis-studies-in-mathematics-hardcover-book&class=scaled&v=1472908546)
![Cover for Gianfausto Dell'Antonio · Lectures on the Mathematics of Quantum Mechanics II: Selected Topics - Atlantis Studies in Mathematical Physics: Theory and Applications (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/147/9789462391147.jpg?gianfausto-dell-antonio-2016-lectures-on-the-mathematics-of-quantum-mechanics-ii-selected-topics-atlantis-studies-in-mathematical-physics-theory-and-applications-hardcover-book&class=scaled&v=1467893975)
![Cover for Nanoscience and Cultural Heritage (Hardcover Book) [2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/970/9789462391970.jpg?2016-nanoscience-and-cultural-heritage-hardcover-book&class=scaled&v=1618408333)
![Cover for Mike Crampin · Cartan Geometries and their Symmetries: A Lie Algebroid Approach - Atlantis Studies in Variational Geometry (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/918/9789462391918.jpg?mike-crampin-2016-cartan-geometries-and-their-symmetries-a-lie-algebroid-approach-atlantis-studies-in-variational-geometry-hardcover-book&class=scaled&v=1470653279)
![Cover for Thomas J. Buckholtz · Models for Physics of the Very Small and Very Large - Atlantis Studies in Mathematics for Engineering and Science (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/659/9789462391659.jpg?thomas-j-buckholtz-2016-models-for-physics-of-the-very-small-and-very-large-atlantis-studies-in-mathematics-for-engineering-and-science-hardcover-book&class=scaled&v=1467893975)
![Cover for Pedro Duarte · Lyapunov Exponents of Linear Cocycles: Continuity via Large Deviations - Atlantis Studies in Dynamical Systems (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/239/9789462391239.jpg?pedro-duarte-2016-lyapunov-exponents-of-linear-cocycles-continuity-via-large-deviations-atlantis-studies-in-dynamical-systems-hardcover-book&class=scaled&v=1462371544)
![Cover for Gennadi Sardanashvily · Noether's Theorems: Applications in Mechanics and Field Theory - Atlantis Studies in Variational Geometry (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/703/9789462391703.jpg?gennadi-sardanashvily-2016-noether-s-theorems-applications-in-mechanics-and-field-theory-atlantis-studies-in-variational-geometry-hardcover-book&class=scaled&v=1462371543)
![Cover for N. Banagaaya · Index-aware Model Order Reduction Methods: Applications to Differential-Algebraic Equations - Atlantis Studies in Scientific Computing in Electromagnetics (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/888/9789462391888.jpg?n-banagaaya-2016-index-aware-model-order-reduction-methods-applications-to-differential-algebraic-equations-atlantis-studies-in-scientific-computing-in-electromagnetics-hardcover-book&class=scaled&v=1462371554)
![Cover for Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Management 2015: Innovation and Practice in Industrial Engineering and Management (Volume 2) (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/765/9789462391765.jpg?2016-proceedings-of-the-22nd-international-conference-on-industrial-engineering-and-engineering-management-2015-innovation-and-practice-in-industrial-engineering-and-management-volume-2-hardcover-book&class=scaled&v=1462371544)
![Cover for Proceedings of the 22nd International Conference on Industrial Engineering and Engineering Management 2015: Core Theory and Applications of Industrial Engineering (Volume 1) (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/796/9789462391796.jpg?2016-proceedings-of-the-22nd-international-conference-on-industrial-engineering-and-engineering-management-2015-core-theory-and-applications-of-industrial-engineering-volume-1-hardcover-book&class=scaled&v=1462371555)
![Cover for Alberto Cabada · Differential Equations with Involutions - Atlantis Briefs in Differential Equations (Paperback Book) [1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/208/9789462391208.jpg?alberto-cabada-2016-differential-equations-with-involutions-atlantis-briefs-in-differential-equations-paperback-book&class=scaled&v=1462371554)
![Cover for Radomir Stankovic · Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 1 Foundations: A Monograph Based on Articles of the Founding Authors, Reproduced in Full - Atlantis Studies in Mathematics for Engineering and Science (Hardcover Book) [1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/598/9789462391598.jpg?radomir-stankovic-2016-dyadic-walsh-analysis-from-1924-onwards-walsh-gibbs-butzer-dyadic-differentiation-in-science-volume-1-foundations-a-monograph-based-on-articles-of-the-founding-authors-reproduced-in-full-atlantis-studies-in-mathematics-for-engineerin&class=scaled&v=1462371558)
![Cover for Radomir Stankovic · Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 2 Extensions and Generalizations: A Monograph Based on Articles of the Founding Authors, Reproduced in Full - Atlantis Studies in Mathematics for Engineeri (Hardcover Book) [1st ed. 2015 edition] (2016)](https://imusic.b-cdn.net/images/item/original/628/9789462391628.jpg?radomir-stankovic-2016-dyadic-walsh-analysis-from-1924-onwards-walsh-gibbs-butzer-dyadic-differentiation-in-science-volume-2-extensions-and-generalizations-a-monograph-based-on-articles-of-the-founding-authors-reproduced-in-full-atlantis-studies-in-mathema&class=scaled&v=1462371554)
![Cover for Takashi Suzuki · Mean Field Theories and Dual Variation - Mathematical Structures of the Mesoscopic Model - Atlantis Studies in Mathematics for Engineering and Science (Hardcover Book) [2nd ed. 2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/536/9789462391536.jpg?takashi-suzuki-2015-mean-field-theories-and-dual-variation-mathematical-structures-of-the-mesoscopic-model-atlantis-studies-in-mathematics-for-engineering-and-science-hardcover-book&class=scaled&v=1468274024)