Uw privacy-instellingen

Door 'Alles accepteren' te selecteren, geef je Rakuten Kobo en hun partners toestemming om cookies, tracking en vergelijkbare technologieën te gebruiken om je persoonsgegevens te verzamelen en te verwerken voor de volgende doeleinden: om de website en Kobo-diensten te beheren en ervoor te zorgen dat deze goed werken, om je gepersonaliseerde content op Kobo en advertenties voor Kobo op andere platforms te bieden en om analyses uit te voeren en te analyseren hoe onze website en diensten worden gebruikt. Klik hieronder anders op 'Weigeren' om alle niet-essentiële doeleinden te weigeren of bekijk de 'Privacy-instellingen' om je voorkeuren voor elk doel te beheren. Lees voor meer informatie ons Privacybeleid

Runtime Verification

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

ebook,ebook

Ezio Bartocci,Rupak Majumdar

Springer Nature Proceedings Computer Science

Het eBook kopen

52,99 €

Je bent nu in de winkel voor België

Niet in België? Kies de winkel van het land waar je je in bevindt om verkrijgbare boeken te zien.

Kies je winkel

Nu kopen Geef een boek cadeau

Meer informatie over prijskoppeling

Waarom lezen met ons?

Met Kobo lezen boekenliefhebbers meer.

Verrijk je leeservaring met onze Kobo eReaders

Uitgebreide en relevante boekencatalogus

Gratis Kobo lees-app

Synopsis

Categorieën

Over dit boek

Taal:English
ISBN:9783319238203
Lanceringsdatum:20 mei 2017
Uitgever:Springer International Publishing

Imprint:Springer
Bestandsformaat:EPUB2
Bestandsgrootte:7.05 MB
Downloadopties:EPUB2 (Adobe DRM)

In deze serie

Computational Methods in Systems Biology

Ezio Bartocci,Pietro Lio,Nicola Paoletti

Vergelijkbare boeken

The Text Mining Handbook

Ronen Feldman, James Sanger

101,44 €

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

169,48 €

Formal Methods for Industrial Critical Systems

Stefania Gnesi, Tiziana Margaria

85,99 €

Heuristic Search

Stefan Edelkamp, Stefan Schroedl

50,45 €

Speech in Mobile and Pervasive Environments

Nitendra Rajput, Amit Anil Nanavati

107,99 €

Machine Learning for Developers

Rodolfo Bonnin

29,56 €

of Gratis met Kobo Plus

NASA Formal Methods

Clark Barrett, Misty Davies, Temesghen Kahsai

47,69 €

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

47,69 €

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

84,79 €

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

47,69 €

Formal Aspects of Component Software

Olga Kouchnarenko, Ramtin Khosravi

47,69 €

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

62,00 €

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

52,99 €

Hardware and Software: Verification and Testing

Nir Piterman

49,81 €

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

47,69 €

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

47,69 €

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

47,69 €

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII

Abdelkader Hameurlain, Josef Küng, Roland Wagner

47,69 €

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

52,99 €

Principles and Practice of Constraint Programming

J. Christopher Beck

47,69 €

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

47,69 €

Formal Aspects of Component Software

Zhiming Liu, Jinyun Xue, José Luiz Fiadeiro

47,69 €

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

Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor

47,69 €

Information Sciences and Systems 2013

Erol Gelenbe, Ricardo Lent

148,39 €

Integration of Reusable Systems

Stuart H. Rubin, Thouraya Bouabana-Tebibel

85,85 €

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

47,69 €

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

52,99 €

Computer and Information Sciences II

Erol Gelenbe, Ricardo Lent, Georgia Sakellari

190,79 €

Quantitative Evaluation of Systems

Javier Campos, Boudewijn R. Haverkort

52,99 €

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

95,39 €

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

47,69 €

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

52,99 €

Computer Aided Verification

Swarat Chaudhuri, Azadeh Farzan

47,69 €

Model Checking Software

Bernd Fischer, Jaco Geldenhuys

47,69 €

Applied Cryptography and Network Security

Mark Manulis, Ahmad-Reza Sadeghi, Steve Schneider

52,99 €

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

52,99 €

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

52,99 €

Artificial Intelligence and Soft Computing

Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada

52,99 €

Smart Card Research and Advanced Applications

Amir Moradi, Marc Joye

44,83 €

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

47,69 €

Theoretical Information Reuse and Integration

Thouraya Bouabana-Tebibel, Stuart H Rubin

95,39 €

Exploration of Visual Data

Yong Rui, Thomas S. Huang, Sean Xiang Zhou

95,39 €

SOFSEM 2017: Theory and Practice of Computer Science

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria

52,99 €

SOFSEM 2016: Theory and Practice of Computer Science

Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania

47,69 €

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

52,99 €

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

38,15 €

Formal Aspects of Component Software

José Proença, Markus Lumpe

47,69 €

Testing Software and Systems

Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko

52,99 €

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

52,99 €

Scala: From a Functional Programming Perspective

Vicenç Torra

52,99 €

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

47,69 €

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

47,69 €

Smart Card Research and Advanced Applications

Naofumi Homma, Marcel Medwed

47,69 €

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

47,69 €

Introduction to Scilab

Sandeep Nagar

41,97 €

Foundations and Practice of Security

Frédéric Cuppens, Philip W. L. Fong, Joaquin Garcia-Alfaro, Nur Zincir Heywood

47,69 €

Model and Data Engineering

Ladjel Bellatreche, Yannis Manolopoulos

52,99 €

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

52,99 €

Static Analysis

Xavier Rival

47,69 €

Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation

Stanisław Kozielski, Dariusz Mrozek, Paweł Kasprowski, Bożena Małysiak-Mrozek, Daniel Kostrzewa

52,99 €

Topics in Theoretical Computer Science - eBook door Mohammad Reza Mousavi, Jiří Sgall

Meer van deze auteur

Vond je het boek de moeite waard?

Beoordeel en recenseer dit boek als eerste!

Uw privacy-instellingen

Runtime Verification

Waarom lezen met ons?

Synopsis

Over dit boek

Boek specificaties

Hoe te lezen

In deze serie

Computational Methods in Systems Biology

Vergelijkbare boeken

The Text Mining Handbook

Tractability

Formal Methods for Industrial Critical Systems

Heuristic Search

Speech in Mobile and Pervasive Environments

Machine Learning for Developers

NASA Formal Methods

Computer Aided Verification

Integrated Formal Methods

Software Engineering and Formal Methods

Formal Aspects of Component Software

NASA Formal Methods

Formal Aspects of Component Software

Hardware and Software: Verification and Testing

Formal Methods and Software Engineering

Formal Techniques for Safety-Critical Systems

Tools and Algorithms for the Construction and Analysis of Systems

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXII

Verification, Model Checking, and Abstract Interpretation

Principles and Practice of Constraint Programming

Tools and Algorithms for the Construction and Analysis of Systems

Formal Aspects of Component Software

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

Information Sciences and Systems 2013

Integration of Reusable Systems

Software Engineering and Formal Methods

Fundamental Approaches to Software Engineering

Computer and Information Sciences II

Quantitative Evaluation of Systems

Meta-Programming and Model-Driven Meta-Program Development

Formal Techniques for Safety-Critical Systems

Theory and Practice of Formal Methods

Computer Aided Verification

Model Checking Software

Applied Cryptography and Network Security

Automated Technology for Verification and Analysis

Verification, Model Checking, and Abstract Interpretation

Artificial Intelligence and Soft Computing

Smart Card Research and Advanced Applications

Formal Techniques for Safety-Critical Systems

Theoretical Information Reuse and Integration

Exploration of Visual Data

SOFSEM 2017: Theory and Practice of Computer Science

SOFSEM 2016: Theory and Practice of Computer Science

Logic Programming and Nonmonotonic Reasoning

Trustworthy Global Computing

Formal Aspects of Component Software

Testing Software and Systems

Tests and Proofs

Scala: From a Functional Programming Perspective

Theoretical Aspects of Computing - ICTAC 2015

Logic-Based Program Synthesis and Transformation

Smart Card Research and Advanced Applications

Formal Modeling and Analysis of Timed Systems

Introduction to Scilab

Foundations and Practice of Security

Model and Data Engineering

ModelEd, TestEd, TrustEd

Static Analysis

Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation

Topics in Theoretical Computer Science

Analysis, Retrieval and Delivery of Multimedia Content

Beginning Julia Programming

Selected Areas in Cryptography -- SAC 2013

Progress in Cryptology - AFRICACRYPT 2017

Transactions on Computational Collective Intelligence XIV

Provably Correct Systems

Logical Foundations of Computer Science

Data Mining and Constraint Programming

Introduction to Octave