Passer au contenu principal Passer au contenu du pied de page

Formal Methods For Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach , Antonio Cerone , Bernd-holger Schlingloff

23 juin 2022

124,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 623 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

524

Texts In Theoretical Computer Science. An Eatcs Series

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783030387990

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Markus Roggenbach Couverture souple
87,95 $
Introduction to Riemannian Geometry and Geometric Statistics: From Basic Theory to Implementation with Geomstats

Nicolas Guigui Couverture souple
128,95 $
Sampled-data Control of Logical Networks

Yang Liu Couverture souple
248,50 $
Advances in Human Activity Detection and Recognition (HADR) Systems

Santosh Kumar Tripathy Couverture souple
58,50 $
Advances in Human Activity Detection and Recognition (HADR) Systems

Santosh Kumar Tripathy Couverture rigide
65,95 $
2 formats offerts
Introduction To Quantum Information Science

Masahito Hayashi Couverture souple
102,50 $
3 formats offerts
Segmentation, Classification, and Registration of Multi-modality Medical Imaging Data: MICCAI 2020 Challenges, ABCs 2020, L2R 2020, TN-SCUI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4-8, 2020, Proceedings

Nadya Shusharina Couverture souple
80,50 $
2 formats offerts
NIST Special Publication 800-53 Information Security

National Institute Of Standards And Tech Couverture souple
12,95 $
Parallel Computational Fluid Dynamics 2008: Parallel Numerical Methods, Software Development and Applications

Damien Tromeur-Dervout Couverture souple
248,50 $
2 formats offerts
Analytic Information Theory: From Compression to Learning

Michael Drmota Couverture rigide
177,95 $
Introduction to Information Theory and Data Compression

Peter D. Johnson, Jr. Couverture rigide
126,95 $
2 formats offerts
Introduction to Content Delivery Networks (CDN)

Shehan Marasinghe Couverture souple
7,95 $
Numerical Methods for Engineering and Data Science

Rolf Wuthrich Couverture rigide
236,95 $
Advanced Software Testing - Vol. 2, 2nd Edition: Guide To The Istqb Advanced Certification As An Advanced Test Manager

Rex Black Couverture souple
57,95 $
2 formats offerts
Intelligent Environments: Advanced Systems for a Healthy Planet

Livre numérique Kobo
194,99 $ ~~Réduction sur le prix courant 243,00 $ à~~
Hypermedia Courseware: Structures of Communication and Intelligent Help: Proceedings of the NATO Advanced Research Workshop on Structures of Communication and Intelligent Help for Hypermedia Courseware, held at Espinho, Portugal, April 19-24, 1990

Armando Oliveira Couverture souple
160,95 $
Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002

Bodo Urban Couverture souple
80,50 $
Kafka Streams in Action, Second Edition: Event-driven applications and microservices

Bill Bejeck Couverture souple
79,99 $
2 formats offerts
Advances in Intelligent Modelling and Simulation: Simulation Tools and Applications

Aleksander Byrski Couverture rigide
248,50 $
Data Science And Big Data Analytics: Acm-wir 2018

Durgesh Kumar Mishra Couverture souple
248,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Software Engineering 2: Specification of Systems and Languages

Dines Bjorner Couverture souple
80,50 $
2 formats offerts
Verification of Reactive Systems: Formal Methods and Algorithms

Klaus Schneider Couverture souple
80,50 $
Boolean Functions and Computation Models

Peter Clote Couverture souple
159,50 $
2 formats offerts
Models And Algorithms Of Time-dependent Scheduling

Stanis Gawiejnowicz Couverture rigide
248,50 $
2 formats offerts
Simulation Algorithms for Computational Systems Biology

Luca Marchetti Couverture souple
102,50 $
2 formats offerts
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints

Hartmut Ehrig Couverture souple
80,50 $
2 formats offerts
Domain Science and Engineering: A Foundation for Software Development

Dines Bjorner Couverture rigide
291,95 $
Domain Science and Engineering: A Foundation for Software Development

Dines Bjorner Couverture souple
291,95 $
Computational Methods For Deep Learning: Theoretic, Practice And Applications

Wei Qi Yan Couverture rigide
90,50 $
4 formats offerts
Theoretical Aspects Of Distributed Computing In Sensor Networks

Sotiris Nikoletseas Couverture souple
160,95 $
3 formats offerts
Introduction To Concurrency Theory: Transition Systems And Ccs

Roberto Gorrieri Couverture souple
80,50 $
2 formats offerts
Process Algebras For Petri Nets: The Alphabetization Of Distributed Systems

Roberto Gorrieri Couverture souple
131,50 $
2 formats offerts
Exact Exponential Algorithms

Fedor V. Fomin Couverture souple
80,50 $
2 formats offerts
Parameterized Complexity Theory

J. Flum Couverture souple
131,50 $
2 formats offerts
Analysis For Computer Scientists: Foundations, Methods, And Algorithms

Michael Oberguggenberger Couverture souple
80,50 $
4 formats offerts
Theory of Semi-Feasible Algorithms

Lane A. Hemaspaandra Couverture souple
160,95 $
2 formats offerts
Duration Calculus: A Formal Approach to Real-Time Systems

Chaochen Zhou Couverture souple
159,50 $
2 formats offerts
Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness

K. Mehlhorn Couverture souple
80,50 $
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Volume 2

Kurt Jensen Couverture souple
159,50 $
2 formats offerts
Introduction To Computation: Haskell, Logic And Automata

Donald Sannella Couverture rigide
55,50 $
2 formats offerts