Dine fortrolighedsindstillinger

Ved at vælge "Accepter alle", giver du Rakuten Kobo og deres partnere tilladelse til at bruge cookies, sporing og lignende teknologier til at indsamle dine personlige data og behandle dem til følgende formål: at drive hjemmesiden og Kobos tjenester og sikre, at de fungerer korrekt, at levere personligt tilpasset indhold til dig på Kobo og annoncere for Kobo på andre platforme, og at måle analyser og analysere, hvordan vores hjemmeside og tjenester bliver brugt. Ellers skal du klikke på "Afvis" nedenfor for at afvise alle ikke-væsentlige formål eller se "Databeskyttelsesindstillinger" for at administrere dine præferencer for hvert formål. Læs vores Databeskyttelsespolitik.

Integrated Formal Methods

17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings

Maurice H. ter Beek,Rosemary Monahan

Springer Nature Proceedings Computer Science

Køb e-bogen

700,49 kr.

Du er i Danmark-butikken

Ikke i Danmark? Vælg dit lands butik for at se bøger, der kan købes.

Vælg Butik

Køb nu

Hvorfor læse hos os?

Kobo giver bogelskere mulighed for at læse mere.

Forbedret læseoplevelse med vores Kobo e-læsere

Omfattende og relevant bogkatalog

Gratis Kobo-læseapp

Synopsis

Kategorier

Om denne bog

Sprog:English
ISBN:9783031077272
Udgivelsesdato:8. jun. 2022
Udgiver:Springer International Publishing

Tryk:Springer
Filformat:EPUB3
Filstørrelse:31.93 MB
Downloadmuligheder:EPUB3 (Adobe DRM)

I denne serie

Formal Methods: Foundations and Applications

Maurice H. ter Beek,Leopoldo Teixeira

Coordination Models and Languages

Maurice H. ter Beek,Marjan Sirjani

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Maurice H. ter Beek,Simon Collart-Dutilleul,Thierry Lecomte

Formal Methods – The Next 30 Years

Maurice H. ter Beek,Annabelle McIver,José N. Oliveira

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek,Stefania Gnesi,Alexander Knapp

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek,Dejan Ničković

Relaterede læsninger

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

Gratis

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Computer Aided Verification

Isil Dillig, Serdar Tasiran

Gratis

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

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

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Gratis

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

466,97 kr.

Advances in Databases and Information Systems

Morzy Tadeusz, Patrick Valduriez, Ladjel Bellatreche

466,97 kr.

Computer Aided Verification

Constantin Enea, Akash Lal

Gratis

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

Tiziana Margaria, Bernhard Steffen

793,91 kr.

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

466,97 kr.

Runtime Verification

Yliès Falcone, César Sánchez

466,97 kr.

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

466,97 kr.

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

Tiziana Margaria, Bernhard Steffen

793,91 kr.

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

747,20 kr.

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

466,97 kr.

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

466,97 kr.

Software Engineering and Formal Methods

Radu Calinescu, Corina S. Păsăreanu

747,20 kr.

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

466,97 kr.

NASA Formal Methods

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

466,97 kr.

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

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

466,97 kr.

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

653,79 kr.

Formal Methods and Software Engineering

Adrian Riesco, Min Zhang

466,97 kr.

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

840,61 kr.

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires

466,97 kr.

Formal Aspects of Component Software

José Proença, Markus Lumpe

466,97 kr.

Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies

466,97 kr.

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

466,97 kr.

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

466,97 kr.

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

Tiziana Margaria, Bernhard Steffen

840,61 kr.

Computer Security – ESORICS 2017

Simon N. Foley, Dieter Gollmann, Einar Snekkenes

466,97 kr.

Formal Aspects of Component Software

Gwen Salaün, Anton Wijs

420,26 kr.

Software Engineering and Formal Methods

Bernd-Holger Schlingloff, Ming Chai

607,08 kr.

Coordination Models and Languages

Jean-Marie Jacquet, Mieke Massink

466,97 kr.

The Semantic Web – ISWC 2016

Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil

466,97 kr.

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

466,97 kr.

Formal Methods for Industrial Critical Systems

Alberto Lluch Lafuente, Anastasia Mavridou

466,97 kr.

Formal Methods: Foundations and Applications

Simone Cavalheiro, José Fiadeiro

607,08 kr.

Integration of Reusable Systems

Stuart H. Rubin, Thouraya Bouabana-Tebibel

840,61 kr.

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

466,97 kr.

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

466,97 kr.

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

466,97 kr.

The Semantic Web

Paul Groth, Maria-Esther Vidal, Fabian Suchanek, Pedro Szekley, Pavan Kapanipathi, Catia Pesquita, Hala Skaf-Molli, Minna Tamper

747,20 kr.

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

560,38 kr.

SOFSEM 2018: Theory and Practice of Computer Science

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

466,97 kr.

Formal Methods

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

934,02 kr.

Runtime Verification

Lu Feng, Dana Fisman

700,49 kr.

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

373,55 kr.

Testing Software and Systems

David Clark, Hector Menendez, Ana Rosa Cavalli

840,61 kr.

Model and Data Engineering

Ladjel Bellatreche, Yannis Manolopoulos

466,97 kr.

The Semantic Web

Ruben Verborgh, Katja Hose, Heiko Paulheim, Pierre-Antoine Champin, Maria Maleshkova, Oscar Corcho, Petar Ristoski, Mehwish Alam

840,61 kr.

NASA Formal Methods

Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

1.120,85 kr.

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

466,97 kr.

Runtime Verification

Thao Dang, Volker Stolz

607,08 kr.

Theoretical Aspects of Software Engineering

Cristina David, Meng Sun

700,49 kr.

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

373,55 kr.

Foundations and Practice of Security

Joaquin Garcia-Alfaro, Evangelos Kranakis, Guillaume Bonfante

466,97 kr.

Runtime Verification

Shuvendu Lahiri, Giles Reger

466,97 kr.

Database and Expert Systems Applications

Sven Hartmann, Hui Ma

466,97 kr.

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

466,97 kr.

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

466,97 kr.

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

466,97 kr.

Tests and Proofs

Frédéric Loulergue, Franz Wotawa

466,97 kr.

Runtime Verification

Jyotirmoy Deshmukh, Dejan Ničković

466,97 kr.

Provably Correct Systems

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

840,61 kr.

Programming Languages and Systems

Hakjoo Oh

700,49 kr.

Information Security

Javier Lopez, Chris J. Mitchell

466,97 kr.

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

840,61 kr.

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

466,97 kr.

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

653,79 kr.

Formal Methods: Foundations and Applications

Sérgio Campos, Marius Minea

513,67 kr.

Theories of Programming and Formal Methods

Jonathan P. Bowen, Qin Li, Qiwen Xu

653,79 kr.

Database and Expert Systems Applications

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

466,97 kr.

Handbook of Conceptual Modeling

Bernhard Thalheim, David W. Embley

1.307,67 kr.

Formal Aspects of Component Software

Kyungmin Bae, Peter Csaba Ölveczky

466,97 kr.

Runtime Verification

Ezio Bartocci, Rupak Majumdar

466,97 kr.

Topics in Cryptology - CT-RSA 2016

Kazue Sako

466,97 kr.

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

466,97 kr.

The Semantic Web

Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig

840,61 kr.

Coordination Models and Languages

Sung-Shik Jongmans, Antónia Lopes

653,79 kr.

Principles and Practice of Constraint Programming

J. Christopher Beck

466,97 kr.

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin, Jim Woodcock, Wenhui Zhang

700,49 kr.

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

466,97 kr.

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

840,61 kr.

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

840,61 kr.

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

466,97 kr.

Coordination Models and Languages

Giovanna Di Marzo Serugendo, Michele Loreti

466,97 kr.

Mere af denne forfatter

From Software Engineering to Formal Methods and Tools, and Back – E-bog af Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

Kunne du lide bogen?

Vær den første til at bedømme og anmelde denne bog!

Dine fortrolighedsindstillinger

Integrated Formal Methods

Hvorfor læse hos os?

Synopsis

Om denne bog

Detaljer om bogen

Sådan læser du

I denne serie

Formal Methods: Foundations and Applications

Coordination Models and Languages

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Formal Methods – The Next 30 Years

Critical Systems: Formal Methods and Automated Verification

Formal Methods for Industrial Critical Systems

Relaterede læsninger

Fundamental Approaches to Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Fundamental Approaches to Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Big Data Analytics and Knowledge Discovery

Advances in Databases and Information Systems

Computer Aided Verification

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

Formal Methods and Software Engineering

Runtime Verification

Integrated Formal Methods

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

Integrated Formal Methods

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Fundamental Approaches to Software Engineering

NASA Formal Methods

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

Fundamentals of Software Engineering

Formal Methods and Software Engineering

Meta-Programming and Model-Driven Meta-Program Development

Formal Techniques for Distributed Objects, Components, and Systems

Formal Aspects of Component Software

Verified Software. Theories, Tools, and Experiments

Fundamental Approaches to Software Engineering

Tests and Proofs

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

Computer Security – ESORICS 2017

Formal Aspects of Component Software

Software Engineering and Formal Methods

Coordination Models and Languages

The Semantic Web – ISWC 2016

Formal Aspects of Component Software

Formal Methods for Industrial Critical Systems

Formal Methods: Foundations and Applications

Integration of Reusable Systems

Software Engineering and Formal Methods

Formal Methods and Software Engineering

Verified Software. Theories, Tools, and Experiments

The Semantic Web

Fundamentals of Software Engineering

SOFSEM 2018: Theory and Practice of Computer Science

Formal Methods

Runtime Verification

Formal Methods: Foundations and Applications

Testing Software and Systems

Model and Data Engineering

The Semantic Web

NASA Formal Methods

Formal Techniques for Distributed Objects, Components, and Systems

Runtime Verification

Theoretical Aspects of Software Engineering

Trustworthy Global Computing