Nastavení ochrany vašich osobních údajů

Výběrem možnosti „Přijmout vše“ povolujete společnosti Rakuten Kobo a jejím partnerům používat soubory cookie, sledovací a podobné technologie ke shromažďování vašich osobních údajů a jejich zpracování pro následující účely: provozování webových stránek a služeb Kobo a zajištění jejich správného fungování, poskytování personalizovaného obsahu na stránkách Kobo a reklam pro Kobo na jiných platformách, měření analytických údajů a analýza toho, jak jsou naše webové stránky a služby používány. V opačném případě klikněte na „Odmítnout“ níže a odmítněte všechny jiné než základní účely nebo přejděte do Nastavení ochrany osobních údajů a spravujte své předvolby pro jednotlivé účely. Více informací naleznete v našich Ochrana osobních údajů.

Rigorous State-Based Methods

9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Uwe Glässer,Jose Creissac Campos,Dominique Méry,Philippe Palanque

Springer Nature Proceedings Computer Science

Nacházíte se v obchodě v USA

Není v USA? Vyberte si obchod ve vaší zemi a zobrazte si knihy, které si můžete koupit.

Vyberte obchod

Synopse

Kategorie

Computer Science

O knize

Jazyk:English
ISBN:9783031331633
Datum vydání:11. 6. 2023
Vydavatel:Springer Nature Switzerland

Tiráž:Springer
Formát souboru:EPUB3
Velikost souboru:51.30 MB
Možnosti stahování:EPUB3 (Adobe DRM)

Související čtení

The Text Mining Handbook

Ronen Feldman, James Sanger

1 824,99 Kč

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

Zdarma

Semantic Computing

Heather Yu, C. V. Ramamoorthy, Arvind K. Joshi, Lotfi A. Zadeh, Phillip C.-Y. Sheu

2 630,69 Kč

Software Technologies

Jorge Cardoso, Pascal Lorenz, Leszek A. Maciaszek, Marten van Sinderen

1 091,49 Kč

Formal Methods for Industrial Critical Systems

Stefania Gnesi, Tiziana Margaria

1 601,69 Kč

Fundamental Approaches to Software Engineering

Alessandra Russo, Andy Schürr

Zdarma

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Zdarma

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

Zdarma

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Joaquim Filipe

1 091,49 Kč

Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky

1 091,49 Kč

Big Data Analytics and Knowledge Discovery

Sanjay Madria, Takahiro Hara

1 091,49 Kč

Semantic Multimedia Analysis and Processing

Evaggelos Spyrou, Dimitris Iakovidis, Phivos Mylonas

2 257,11 Kč

Emergent Web Intelligence: Advanced Information Retrieval

Richard Chbeir, Youakim Badr, Ajith Abraham, Aboul-Ella Hassanien

3 056,59 Kč

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

1 091,49 Kč

Formal Methods for Industrial Critical Systems

Alberto Lluch Lafuente, Anastasia Mavridou

1 091,49 Kč

Model and Data Engineering

Ladjel Bellatreche, Yannis Manolopoulos

1 091,49 Kč

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman

1 528,19 Kč

Fundamental Approaches to Software Engineering

Marieke Huisman, Julia Rubin

1 091,49 Kč

NASA Formal Methods

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

1 091,49 Kč

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ničković

1 091,49 Kč

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

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

1 091,49 Kč

Coordination Models and Languages

Sung-Shik Jongmans, Antónia Lopes

1 528,19 Kč

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

1 091,49 Kč

Formal Aspects of Component Software

Olga Kouchnarenko, Ramtin Khosravi

1 091,49 Kč

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan

1 637,39 Kč

Formal Aspects of Component Software

Silvia Lizeth Tapia Tarifa, José Proença

1 418,99 Kč

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

Tiziana Margaria, Bernhard Steffen

1 855,69 Kč

The Semantic Web

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

1 746,59 Kč

Testing Software and Systems

David Clark, Hector Menendez, Ana Rosa Cavalli

1 964,89 Kč

The Semantic Web

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

1 964,89 Kč

SDL 2017: Model-Driven Engineering for Future Internet

Gábor Kovács, György Réthy, Tibor Csöndes

1 091,49 Kč

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

Tiziana Margaria, Bernhard Steffen

1 091,49 Kč

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

Tiziana Margaria, Bernhard Steffen

1 964,89 Kč

NASA Formal Methods

Kristin Yvonne Rozier, Swarat Chaudhuri

1 964,89 Kč

Software Technologies: Applications and Foundations

Martina Seidl, Steffen Zschaler

1 091,49 Kč

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Tiziana Margaria, Bernhard Steffen

1 528,19 Kč

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

Tiziana Margaria, Bernhard Steffen

1 091,49 Kč

Grand Timely Topics in Software Engineering

Ralf Lämmel, Jácome Cunha, João P. Fernandes, Vadim Zaytsev, João Saraiva

1 091,49 Kč

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

1 091,49 Kč

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

1 091,49 Kč

Software Engineering and Formal Methods

Rocco De Nicola, Eva Kühn

1 091,49 Kč

Document Analysis and Recognition – ICDAR 2021 Workshops

Elisa H. Barney Smith, Umapada Pal

1 091,49 Kč

The Semantic Web: ESWC 2022 Satellite Events

Paul Groth, Anisa Rula, Jodi Schneider, Ilaria Tiddi, Elena Simperl, Panos Alexopoulos, Rinke Hoekstra, Mehwish Alam, Anastasia Dimou, Minna Tamper

1 746,59 Kč

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

1 091,49 Kč

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires

1 091,49 Kč

Advances in Model and Data Engineering in the Digitalization Era

Ladjel Bellatreche, George Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain

1 746,59 Kč

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

Tiziana Margaria, Bernhard Steffen

1 855,69 Kč

Web Information Systems and Technologies

Valérie Monfort, Karl-Heinz Krempels

1 091,49 Kč

Foundations of Intelligent Systems

Floriana Esposito, Olivier Pivert, Mohand-Said Hacid, Zbigniew W. Rás, Stefano Ferilli

1 091,49 Kč

Knowledge Engineering and Knowledge Management

Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali

1 964,89 Kč

Runtime Verification

Ezio Bartocci, Rupak Majumdar

1 091,49 Kč

Business Intelligence

Patrick Marcel, Esteban Zimányi

1 091,49 Kč

Emerging Ideas on Information Filtering and Retrieval

Cristian Lai, Giovanni Semeraro, Alessandro Giuliani

1 964,89 Kč

Semantic Web Challenges

Harald Sack, Stefan Dietze, Anna Tordai, Christoph Lange

1 091,49 Kč

Conceptual Modeling

Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor

1 091,49 Kč

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

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

1 091,49 Kč

The Semantic Web

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

1 091,49 Kč

The Semantic Web

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

1 964,89 Kč

Tests and Proofs

Frédéric Loulergue, Franz Wotawa

1 091,49 Kč

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Jean-Pierre Talpin, Shin Nakajima, Huafeng Yu, Masumi Toyoshima

1 964,89 Kč

Software Engineering for Resilient Systems

Alexander Romanovsky, Elena A. Troubitsyna

1 091,49 Kč

Runtime Verification

Lu Feng, Dana Fisman

1 637,39 Kč

The Semantic Web. Latest Advances and New Domains

Harald Sack, Eva Blomqvist, Mathieu d'Aquin, Chiara Ghidini, Simone Paolo Ponzetto, Christoph Lange

1 964,89 Kč

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen

1 528,19 Kč

Integrated Formal Methods

Erika Ábrahám, Marieke Huisman

1 746,59 Kč

Knowledge Engineering and Knowledge Management

Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti

1 091,49 Kč

Language Constructs for Describing Features

Stephen Gilmore, Mark Ryan

1 091,49 Kč

Natural Language Processing and Information Systems

Flavius Frasincar, Ashwin Ittoo, Le Minh Nguyen, Elisabeth Métais

1 091,49 Kč

The Semantic Web – ISWC 2021

Andreas Hotho, Eva Blomqvist, Stefan Dietze, Achille Fokoue, Ying Ding, Payam Barnaghi, Armin Haller, Mauro Dragoni, Harith Alani

1 964,89 Kč

Knowledge Engineering and Semantic Web

Axel-Cyrille Ngonga Ngomo, Petr Křemen

1 091,49 Kč

New Trends in Databases and Information Systems

Mārīte Kirikova, Kjetil Nørvåg, George A. Papadopoulos, Johann Gamper, Robert Wrembel, Jérôme Darmont, Stefano Rizzi

1 091,49 Kč

The Semantic Web – ISWC 2016

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

1 091,49 Kč

Modelling Foundations and Applications

Anthony Anjorin, Huáscar Espinoza

1 091,49 Kč

Knowledge Engineering and Semantic Web

Przemysław Różewski, Christoph Lange

1 091,49 Kč

Coordination Models and Languages

Jean-Marie Jacquet, Mieke Massink

1 091,49 Kč

The Semantic Web: ESWC 2021 Satellite Events

Ruben Verborgh, Anastasia Dimou, Aidan Hogan, Claudia d'Amato, Ilaria Tiddi, Arne Bröring, Simon Mayer, Femke Ongenae, Riccardo Tommasini, Mehwish Alam