Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

Thomas Neele,Anton Wijs

Springer Nature Proceedings Computer Science

Acheter l'eBook

Ahorra 10 %Precio de venta: $62.423 CLP.$56.180CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783031661495
Fecha de lanzamiento:13 oct 2024
Editorial:Springer Nature Switzerland

Edición:Springer
Formato de archivo:EPUB3
Tamaño de archivo:22.74 MB
Opciones de descarga:EPUB3 (Adobe DRM)

Lecturas relacionadas

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Gratis

Formal Methods

André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Fundamental Approaches to Software Engineering

Alessandra Russo, Andy Schürr

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner, Laura Kovács

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh

Gratis

Formal Methods

Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi

Gratis

Data Analysis For Network Cyber-security

Niall M Adams, Nicholas A Heard

$38.583

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

Encyclopedia of Computer Science and Technology

Allen Kent, James G. Williams

$62.153

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

$56.180

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh

Gratis

Go Where the Bugs Are

Gidon Ernst, Matthias Güdemann, Alexander Knapp, Florian Nafz, Frank Ortmeier, Hella Ponsar, Gerhard Schellhorn, Alexander Schiendorfer

$84.276

Formal Methods

Augusto Sampaio, Marielle Stoelinga

Gratis

Computer Aided Verification

Ruzica Piskac, Zvonimir Rakamarić

Gratis

Formal Methods

Augusto Sampaio, Marielle Stoelinga

Gratis

Theoretical Aspects of Software Engineering

Yamine Aït-Ameur, Florin Crăciun

$95.514

Topics in Cryptology – CT-RSA 2018

Nigel P. Smart

$56.180

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Willem-Jan van Hoeve

$56.180

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ničković

$56.180

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

$56.180

Tests and Proofs

Marieke Huisman, Falk Howar

$157.324

Advances in Cryptology – ASIACRYPT 2025

Goichiro Hanaoka, Bo-Yin Yang

$101.133

Model and Data Engineering

Ladjel Bellatreche, Yannis Manolopoulos

$56.180

SOFSEM 2018: Theory and Practice of Computer Science

A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiří Wiedermann

$56.180

Information Security

Javier Lopez, Chris J. Mitchell

$56.180

Information and Communications Security

Weizhi Meng, Dieter Gollmann, Christian D. Jensen, Jianying Zhou

$56.180

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

$78.657

Formal Methods for Industrial Critical Systems

Anne E. Haxthausen, Wendelin Serwe

$73.037

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

$134.848

Radio Frequency Identification: Security and Privacy Issues

Nitesh Saxena, Ahmad-Reza Sadeghi

$52.809

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Tiziana Margaria, Bernhard Steffen

$95.514

Formal Methods for Industrial Critical Systems

Alessandro Cimatti, Laura Titolo

$73.037

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

$101.133

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria, Bernhard Steffen

$56.180

Formal Methods

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker

$101.133

Security, Privacy, and Applied Cryptography Engineering

Lejla Batina, Stjepan Picek, Mainack Mondal

$84.276

Runtime Verification

Yliès Falcone, César Sánchez

$56.180

Verified Software. Theories, Tools and Experiments

Andrew Reynolds, Serdar Tasiran

$56.180

Database and Expert Systems Applications

Sven Hartmann, Josef Küng, Gabriele Kotsis, A Min Tjoa, Ismail Khalil

$56.180

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

$101.133

NASA Formal Methods

Nathaniel Benz, Divya Gopinath, Nija Shi

$134.848

Computer Security – ESORICS 2017

Simon N. Foley, Dieter Gollmann, Einar Snekkenes

$56.180

SmartShadow: Models and Methods for Pervasive Computing

Zhaohui Wu, Gang Pan

$101.133

Security, Privacy, and Applied Cryptography Engineering

Sk Subidh Ali, Jean-Luc Danger, Thomas Eisenbarth

$56.180

Applied Cryptography and Network Security

Tal Malkin, Vladimir Kolesnikov, Michalis Polychronakis, Allison Lewko

$56.180

Model Checking Software

Georgiana Caltais, Christian Schilling

$61.799

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

$84.276

Advances in Spatial and Temporal Databases

Christophe Claramunt, Markus Schneider, Raymond Chi-Wing Wong, Li Xiong, Woong-Kee Loh, Cyrus Shahabi, Ki-Joune Li

$56.180

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Tiziana Margaria, Bernhard Steffen

$95.514

Foundations and Practice of Security

Mourad Debbabi, Jean-Yves Marion, Joaquin Garcia-Alfaro, Jean Luc Danger, Nur Zincir Heywood

$56.180

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

$56.180

Modelling to Program

Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim

$56.180

Encyclopedia of Computer Science and Technology

Allen Kent, James G. Williams

$348.330

Towards Hardware-Intrinsic Security

Ahmad-Reza Sadeghi, David Naccache, Pim Tuyls

$157.324

Constructive Side-Channel Analysis and Secure Design

Guido Marco Bertoni, Francesco Regazzoni

$56.180

Security, Privacy, and Applied Cryptography Engineering

Claude Carlet, M. Anwar Hasan, Vishal Saraswat

$56.180

Database and Expert Systems Applications

Qiming Chen, Abdelkader Hameurlain, Farouk Toumani, Roland Wagner, Hendrik Decker

$56.180

Similarity Search and Applications

Christian Beecks, Felix Borutta, Peer Kröger, Thomas Seidl

$73.037

Database and Expert Systems Applications

Djamal Benslimane, Ernesto Damiani, William I. Grosky, Abdelkader Hameurlain, Amit Sheth, Roland R. Wagner

$56.180

Security, Privacy, and Applied Cryptography Engineering

Chandan Karfa, Navid Asadi, Anupam Chattopadhyay

$73.037

Applied Cryptography and Network Security Workshops

Martin Andreoni

$73.037

Cryptology and Network Security

Mauro Conti, Marc Stevens, Stephan Krenn

$101.133

Progress in Cryptology – LATINCRYPT 2021

Patrick Longa, Carla Ràfols

$89.895

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Bistra Dilkina

$134.848

Big Data Analytics and Knowledge Discovery

Robert Wrembel, Silvia Chiusano, Gabriele Kotsis, A Min Tjoa, Ismail Khalil

$84.276

Formal Methods

Marieke Huisman, Corina Păsăreanu, Naijun Zhan

$112.372

Advances in Databases and Information Systems

Silvia Chiusano, Tania Cerquitelli, Robert Wrembel

$84.276

Tools and Algorithms for the Construction and Analysis of Systems

Arie Gurfinkel, Marijn Heule

Gratis

Integration of Reusable Systems

Stuart H. Rubin, Thouraya Bouabana-Tebibel

$101.133

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Tiziana Margaria, Bernhard Steffen

$89.895

The Semantic Web – ISWC 2022

Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato

$101.133

Networked Systems

Amr El Abbadi, Benoît Garbinato

$56.180

Cyber Security, Cryptology, and Machine Learning

Shlomi Dolev, Michael Elhadad, Mirosław Kutyłowski, Giuseppe Persiano

$84.276

Software Engineering and Formal Methods

Alexandre Madeira, Alexander Knapp

$78.657

Automated Technology for Verification and Analysis

Étienne André, Jun Sun

$84.276

Applied Cryptography and Network Security

Mehdi Tibouchi, XiaoFeng Wang

$123.609

Integrated Formal Methods

Ferruccio Damiani, Marie Farrell

$73.037

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

$56.180

Theoretical Aspects of Software Engineering

Philipp Rümmer, Zhilin Wu

$84.276

Risks and Security of Internet and Systems

Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay

$56.180

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

$101.133

Formal Techniques for Distributed Objects, Components, and Systems

Carla Ferreira, Claudio Antares Mezzina

$73.037

Tests and Proofs

Frédéric Loulergue, Franz Wotawa

$56.180

Software Technologies

Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill

$56.180

NASA Formal Methods

Aaron Dutle, César Muñoz, Anthony Narkawicz

$56.180

Information Sciences and Systems 2015

Omer H. Abdelrahman, Erol Gelenbe, Gokce Gorbil, Ricardo Lent

$157.324

Large-Scale Data Analytics

Aris Gkoulalas-Divanis, Abderrahim Labbi

$56.180

Innovative Security Solutions for Information Technology and Communications

Mihai Doinea, Helge Janicke, Giampaolo Bella

$84.276

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl

$56.180

Data and Applications Security and Privacy XXX

Silvio Ranise, Vipin Swarup

$56.180

Engineering Safe and Trustworthy Cyber Physical Systems

Martin Fränzle, Jürgen Niehaus, Bernd Westphal

$73.037

Ver más por autor

Concise Guide to Software Verification

Marieke Huisman, Anton Wijs

$67.418

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Model Checking Software

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Fundamental Approaches to Software Engineering

Formal Methods

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Fundamental Approaches to Software Engineering

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Formal Methods

Data Analysis For Network Cyber-security

Computer Aided Verification

Computer Aided Verification

Encyclopedia of Computer Science and Technology

Big Data Analytics and Knowledge Discovery

Computer Aided Verification

Go Where the Bugs Are

Formal Methods

Computer Aided Verification

Formal Methods

Theoretical Aspects of Software Engineering

Topics in Cryptology – CT-RSA 2018

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Formal Methods for Industrial Critical Systems

Big Data Analytics and Knowledge Discovery

Tests and Proofs

Advances in Cryptology – ASIACRYPT 2025

Model and Data Engineering

SOFSEM 2018: Theory and Practice of Computer Science

Information Security

Information and Communications Security

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

NASA Formal Methods

Radio Frequency Identification: Security and Privacy Issues

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Formal Methods for Industrial Critical Systems

Theoretical Information Reuse and Integration

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Formal Methods

Security, Privacy, and Applied Cryptography Engineering

Runtime Verification

Verified Software. Theories, Tools and Experiments

Database and Expert Systems Applications

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

NASA Formal Methods

Computer Security – ESORICS 2017

SmartShadow: Models and Methods for Pervasive Computing

Security, Privacy, and Applied Cryptography Engineering

Applied Cryptography and Network Security

Model Checking Software

Integrated Formal Methods

Advances in Spatial and Temporal Databases

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Foundations and Practice of Security

Fundamental Approaches to Software Engineering

Modelling to Program

Encyclopedia of Computer Science and Technology

Towards Hardware-Intrinsic Security

Constructive Side-Channel Analysis and Secure Design

Security, Privacy, and Applied Cryptography Engineering

Database and Expert Systems Applications

Similarity Search and Applications

Database and Expert Systems Applications

Security, Privacy, and Applied Cryptography Engineering

Applied Cryptography and Network Security Workshops

Cryptology and Network Security

Progress in Cryptology – LATINCRYPT 2021

Integration of Constraint Programming, Artificial Intelligence, and Operations Research

Big Data Analytics and Knowledge Discovery

Formal Methods

Advances in Databases and Information Systems