Povej prijatelju o tem izdelku:
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? Prijava
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Fabio Mogavero
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
Na voljo tudi kot:
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.
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 9. avgusta 2015 |
| ISBN13 | 9789462390560 |
| Založniki | Atlantis Press (Zeger Karssen) |
| Strani | 149 |
| Dimenzije | 155 × 235 × 9 mm · 244 g |
![Cover for Johan Gielis · The Geometrical Beauty of Plants (Book) [1st ed. 2017 Edition] (2017)](https://imusic.b-cdn.net/images/item/original/505/9789462391505.jpg?johan-gielis-2017-the-geometrical-beauty-of-plants-book&class=scaled&v=1476630882)
![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 Proceedings of the 23rd International Conference on Industrial Engineering and Engineering Management 2016: Theory and Application of Industrial Engineering (Hardcover Book) [1st ed. 2017 Edition] (2017)](https://imusic.b-cdn.net/images/item/original/540/9789462392540.jpg?2017-proceedings-of-the-23rd-international-conference-on-industrial-engineering-and-engineering-management-2016-theory-and-application-of-industrial-engineering-hardcover-book&class=scaled&v=1487192120)
![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 Advances in Irish Quaternary Studies - Atlantis Advances in Quaternary Science (Hardcover Book) [1st ed. 2017 Edition] (2016)](https://imusic.b-cdn.net/images/item/original/182/9789462392182.jpg?2016-advances-in-irish-quaternary-studies-atlantis-advances-in-quaternary-science-hardcover-book&class=scaled&v=1599464102)
![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 Svetlin G. Georgiev · Integral Equations on Time Scales - Atlantis Studies in Dynamical Systems (Hardcover Book) [1st ed. 2016 Edition] (2016)](https://imusic.b-cdn.net/images/item/original/274/9789462392274.jpg?svetlin-g-georgiev-2016-integral-equations-on-time-scales-atlantis-studies-in-dynamical-systems-hardcover-book&class=scaled&v=1608054955)
![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)