Formal Methods Teaching

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Emil Sekerinski,Leila Ribeiro

Springer Nature Proceedings Computer Science

eKitabı Satın Al

10 % tasarruf etListe Fiyatı: 2.420,75 TL.2.178,71 TL

Şu anda Türkiye mağazasındasın

Türkiye değil misin? Bulunduğun ülkenin mağazasını seçerek satın alabileceğin e-kitapları bulabilirsin.

Mağaza Seç

Şimdi Alın

Neden bizimle okumalısınız?

Kobo kitapseverlerin daha çok okumasını sağlar.

Kobo eOkuyucularımızla daha iyi bir okuma deneyimi

Zengin ve alakalı kitap kataloğu

Ücretsiz Kobo okuma uygulaması

Özet

Kategoriler

Bu kitap hakkında

Dil:English
ISBN:9783031713798
Yayın tarihi:4 Eyl 2024
Yayınevi:Springer Nature Switzerland

Baskı:Springer
Dosya Biçimi:EPUB3
Dosya boyutu:15.21 MB
İndirme seçenekleri:EPUB3 (Adobe DRM)

Bu seride

Formal Methods. FM 2019 International Workshops

Emil Sekerinski,Nelma Moreira,José N. Oliveira,Daniel Ratiu,Riccardo Guidotti,Marie Farrell,Matt Luckcuck,Diego Marmsoler,José Campos,Troy Astarte,Laure Gonnord,Antonio Cerone,Luis Couto,Brijesh Dongol,Martin Kutrib,Pedro Monteiro,David Delmas

Formal Methods. FM 2019 International Workshops

İlgili Yazılar

Semantic Computing

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

7.046,87 TL

Software Technologies

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

2.866,91 TL

The People’s Web Meets NLP

Iryna Gurevych, Jungi Kim, Nicoletta Calzolari

5.160,83 TL

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek, Joaquim Filipe

2.866,91 TL

Semantic Multimedia Analysis and Processing

Evaggelos Spyrou, Dimitris Iakovidis, Phivos Mylonas

6.125,06 TL

Emergent Web Intelligence: Advanced Information Retrieval

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

8.028,35 TL

Data-Driven Methods for Adaptive Spoken Dialogue Systems

Oliver Lemon, Olivier Pietquin

5.160,83 TL

Data and Information Quality

Carlo Batini, Monica Scannapieco

6.881,27 TL

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

2.866,91 TL

Semantic Web Collaborative Spaces

Pascal Molli, John G. Breslin, Maria-Esther Vidal

2.866,91 TL

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen

4.013,87 TL

Knowledge Engineering and Knowledge Management

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

2.866,91 TL

Formal Methods Teaching

João F. Ferreira, Alexandra Mendes, Claudio Menghi

3.153,71 TL

Grand Timely Topics in Software Engineering

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

2.866,91 TL

Conceptual Modeling

Katsumi Tanaka, Motoshi Saeki, Il-Yeol Song, Isabelle Comyn-Wattiau, Shuichiro Yamamoto

2.866,91 TL

Formal Methods for Industrial Critical Systems

Peter Gorm Larsen, Kristin Yvonne Rozier

3.727,19 TL

The Semantic Web

Aldo Gangemi, Roberto Navigli, Maria-Esther Vidal, Pascal Hitzler, Raphaël Troncy, Laura Hollink, Anna Tordai, Mehwish Alam

2.866,91 TL

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Ana Fred, Jan L. G. Dietz, David Aveiro, Kecheng Liu, Joaquim Filipe

2.866,91 TL

Conceptual Modeling

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

2.866,91 TL

The Semantic Web

Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri, Alasdair J.G. Gray, Vanessa Lopez, Armin Haller, Karl Hammar

5.160,83 TL

Emerging Ideas on Information Filtering and Retrieval

Cristian Lai, Giovanni Semeraro, Alessandro Giuliani

5.160,83 TL

The Semantic Web. Latest Advances and New Domains

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

5.160,83 TL

Formal Methods Teaching

Gustavo Carvalho, Tsutomu Kobayashi

2.866,91 TL

Transactions on Foundations for Mastering Change I

Bernhard Steffen

2.866,91 TL

Knowledge Engineering and Knowledge Management

Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali

5.160,83 TL

The Semantic Web

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

5.160,83 TL

The Semantic Web

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

2.866,91 TL

Enterprise, Business-Process and Information Systems Modeling

Rainer Schmidt, Wided Guédria, Sérgio Guerreiro, Bider Ilia

2.866,91 TL

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

Tiziana Margaria, Bernhard Steffen

4.013,87 TL

Conceptual Modeling

João Paulo A. Almeida, José Borbinha, Giancarlo Guizzardi, Sebastian Link, Jelena Zdravkovic

4.587,35 TL

Semantic Web Evaluation Challenges

Fabien Gandon, Elena Cabrio, Milan Stankovic, Antoine Zimmermann

2.866,91 TL

Conceptual Modeling

Mong Li Lee, Paul Johannesson, Óscar Pastor López, Stephen W. Liddle, Andreas L. Opdahl

2.866,91 TL

The Semantic Web

Albert Meroño Peñuela, Anastasia Dimou, Raphaël Troncy, Olaf Hartig, Maribel Acosta, Mehwish Alam, Heiko Paulheim, Pasquale Lisena

4.300,67 TL

Semantic Web Services

Brian Blake, Liliana Cabral, Birgitta König-Ries, Ulrich Küster, David Martin

5.160,83 TL

Conceptual Modeling

Dominik Bork, Roman Lukyanenko, Shazia Sadiq, Ladjel Bellatreche, Oscar Pastor

4.185,95 TL

Advanced Information Systems Engineering

Marta Indulska, Iris Reinhartz-Berger, Carlos Cetina, Oscar Pastor

4.300,67 TL

Web Engineering

Alessandro Bozzon, Cesare Pautasso, Philippe Cudré-Mauroux

2.866,91 TL

Testing Software and Systems

David Clark, Hector Menendez, Ana Rosa Cavalli

5.160,83 TL

Semantic Keyword-Based Search on Structured Data Sources

Andrea Calì, Dorian Gorgan, Martín Ugarte

2.866,91 TL

Formal Methods for Industrial Critical Systems

Anne Remke, Bernhard Steffen

3.268,31 TL

Semantic Web Challenges

Harald Sack, Stefan Dietze, Anna Tordai, Christoph Lange

2.866,91 TL

AI*IA 2017 Advances in Artificial Intelligence

Floriana Esposito, Roberto Basili, Stefano Ferilli, Francesca A. Lisi

2.866,91 TL

Conceptual Modeling

Wolfgang Maass, Hyoil Han, Hasan Yasar, Nick Multari

4.587,35 TL

Knowledge Engineering and Knowledge Management

Mehwish Alam, Marco Rospocher, Marieke van Erp, Laura Hollink, Genet Asefa Gesese

4.587,35 TL

Distributed Systems and Applications of Information Filtering and Retrieval

Cristian Lai, Alessandro Giuliani, Giovanni Semeraro

5.160,83 TL

Software Technologies: Applications and Foundations

Martina Seidl, Steffen Zschaler

2.866,91 TL

Formal Methods – Fun for Everybody

Antonio Cerone, Markus Roggenbach

2.866,91 TL

Coordination Models and Languages

Ilaria Castellani, Francesco Tiezzi

5.734,31 TL

Software Technologies

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

4.587,35 TL

The Semantic Web: ESWC 2015 Satellite Events

Fabien Gandon, Christophe Guéret, Serena Villata, John Breslin, Catherine Faron-Zucker, Antoine Zimmermann

2.866,91 TL

Knowledge Engineering and Semantic Web

Przemysław Różewski, Christoph Lange

2.866,91 TL

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

Tiziana Margaria, Bernhard Steffen

2.866,91 TL

Transactions on Computational Collective Intelligence XXI

Ngoc Thanh Nguyen, Ryszard Kowalczyk, Paulo Rupino da Cunha

2.866,91 TL

Rules and Reasoning

Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman

3.727,19 TL

Web Information Systems and Technologies

Valérie Monfort, Karl-Heinz Krempels

2.866,91 TL

Formal Methods for an Informal World

Antonio Cerone

2.866,91 TL

Metadata and Semantic Research

Emmanouel Garoufallou, Sirje Virkus, Rania Siatri, Damiana Koutsomiha

2.866,91 TL

The Semantic Web: ESWC 2018 Satellite Events

Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z Pan, Mehwish Alam

2.866,91 TL

Coordination Models and Languages

Sung-Shik Jongmans, Antónia Lopes

4.013,87 TL

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

2.866,91 TL

Software Engineering

Bertrand Meyer, Martin Nordio

2.293,43 TL

Rigorous State-Based Methods

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

4.300,67 TL

Testing Software and Systems

Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi

4.013,87 TL

Conceptual Modeling

Aditya Ghose, Jennifer Horkoff, Vítor E. Silva Souza, Jeffrey Parsons, Joerg Evermann

4.300,67 TL

Patterns, Programming and Everything

R. Nigel Horspool, Karin K. Breitman

5.160,83 TL

Conceptual Modeling

Gillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle, Heinrich C. Mayr

2.866,91 TL

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

2.866,91 TL

Future and Emergent Trends in Language Technology

José F. Quesada, Francisco-Jesús Martín Mateos, Teresa Lopez-Soto

2.866,91 TL

Advanced Information Systems Engineering

Eric Dubois, Klaus Pohl

5.160,83 TL

Model and Data Engineering

Ladjel Bellatreche, Yannis Manolopoulos

2.866,91 TL

Modelling to Program

Ajantha Dahanayake, Oscar Pastor, Bernhard Thalheim

2.866,91 TL

The Semantic Web

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

5.160,83 TL

The Semantic Web – ISWC 2018

Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl

2.866,91 TL

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

4.587,35 TL

Advanced Information Systems Engineering

Marcello La Rosa, Shazia Sadiq, Ernest Teniente

5.734,31 TL

Graphical Models for Security

Harley Eades III, Olga Gadyatskaya

2.866,91 TL

Enterprise Information Systems

José Cordeiro, Leszek A. Maciaszek, Joaquim Filipe

3.440,39 TL

The Semantic Web – ISWC 2018

Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl

3.727,19 TL

Conceptual Modeling

Jolita Ralyté, Sharma Chakravarthy, Mukesh Mohania, Manfred A. Jeusfeld, Kamalakar Karlapalem

2.866,91 TL

Phenotropic Interaction

Moreno Colombo

6.881,27 TL

Research and Advanced Technology for Digital Libraries

Jaap Kamps, Giannis Tsakonas, Yannis Manolopoulos, Lazaros Iliadis, Ioannis Karydis

2.866,91 TL

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

Tiziana Margaria, Bernhard Steffen

2.866,91 TL

Software Engineering and Formal Methods

Domenico Bianculli, Radu Calinescu, Bernhard Rumpe

2.866,91 TL

Software Engineering and Formal Methods

Antonio Cerone, Marco Roveri

4.185,95 TL

Advanced Information Systems Engineering

Xavier Franch, Geert Poels, Frederik Gailly, Monique Snoeck

4.587,35 TL

Model-Driven Engineering and Software Development

Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray

2.866,91 TL

Enterprise, Business-Process and Information Systems Modeling

Jens Gulden, Iris Reinhartz-Berger, Rainer Schmidt, Sérgio Guerreiro, Wided Guédria, Palash Bera

2.866,91 TL

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

Tiziana Margaria, Bernhard Steffen

5.160,83 TL

Knowledge Engineering and Knowledge Management

C. Maria Keet, Michel Dumontier

2.866,91 TL

Model-Based Software and Systems Engineering

Francisco José Domínguez Mayo, Luís Ferreira Pires, Edwin Seidewitz

4.013,87 TL

Dependability and Computer Engineering: Concepts for Software-Intensive Systems

Luigia Petre, Kaisa Sere, Elena Troubitsyna

9.106,43 TL

Model and Data Engineering

Yassine Ouhammou, Mirjana Ivanovic, Alberto Abelló, Ladjel Bellatreche

2.866,91 TL

Language Constructs for Describing Features

Stephen Gilmore, Mark Ryan

2.866,91 TL

The Practice of Formal Methods

Ana Cavalcanti, James Baxter

6.307,79 TL

Software Engineering and Formal Methods

Alessandro Cimatti, Marjan Sirjani

2.866,91 TL

Natural Language Processing and Information Systems

Paolo Rosso, Valerio Basile, Raquel Martínez, Elisabeth Métais, Farid Meziane

5.160,83 TL

Yazarın Diğer Kitapları

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas

2.866,91 TL

From Action Systems to Distributed Systems

Luigia Petre, Emil Sekerinski

3.663,88 TL

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas

2.866,91 TL

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

2.866,91 TL

Kitabı beğendiniz mi?

Bu kitabı ilk değerlendiren ve inceleyen siz olun!

Bu bizim Türkiye mağazamız.

Formal Methods Teaching

Neden bizimle okumalısınız?

Özet

Bu kitap hakkında

Kitap ayrıntıları

Nasıl Okunur?

Bu seride

Formal Methods. FM 2019 International Workshops

Formal Methods. FM 2019 International Workshops

İlgili Yazılar

Semantic Computing

Software Technologies

The People’s Web Meets NLP

Evaluation of Novel Approaches to Software Engineering

Semantic Multimedia Analysis and Processing

Emergent Web Intelligence: Advanced Information Retrieval

Data-Driven Methods for Adaptive Spoken Dialogue Systems

Data and Information Quality

Leveraging Applications of Formal Methods, Verification, and Validation

Semantic Web Collaborative Spaces

Leveraging Applications of Formal Methods, Verification and Validation

Knowledge Engineering and Knowledge Management

Formal Methods Teaching

Grand Timely Topics in Software Engineering

Conceptual Modeling

Formal Methods for Industrial Critical Systems

The Semantic Web

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Conceptual Modeling

The Semantic Web

Emerging Ideas on Information Filtering and Retrieval

The Semantic Web. Latest Advances and New Domains

Formal Methods Teaching

Transactions on Foundations for Mastering Change I

Knowledge Engineering and Knowledge Management

The Semantic Web

The Semantic Web

Enterprise, Business-Process and Information Systems Modeling

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

Conceptual Modeling

Semantic Web Evaluation Challenges

Conceptual Modeling

The Semantic Web

Semantic Web Services

Conceptual Modeling

Advanced Information Systems Engineering

Web Engineering

Testing Software and Systems

Semantic Keyword-Based Search on Structured Data Sources

Formal Methods for Industrial Critical Systems

Semantic Web Challenges

AI*IA 2017 Advances in Artificial Intelligence

Conceptual Modeling

Knowledge Engineering and Knowledge Management

Distributed Systems and Applications of Information Filtering and Retrieval

Software Technologies: Applications and Foundations

Formal Methods – Fun for Everybody

Coordination Models and Languages

Software Technologies

The Semantic Web: ESWC 2015 Satellite Events

Knowledge Engineering and Semantic Web

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

Transactions on Computational Collective Intelligence XXI

Rules and Reasoning

Web Information Systems and Technologies

Formal Methods for an Informal World

Metadata and Semantic Research

The Semantic Web: ESWC 2018 Satellite Events

Coordination Models and Languages

New Trends in Databases and Information Systems

Software Engineering

Rigorous State-Based Methods

Testing Software and Systems

Conceptual Modeling

Patterns, Programming and Everything

Conceptual Modeling

Software Engineering and Formal Methods

Future and Emergent Trends in Language Technology

Advanced Information Systems Engineering