Programming Languages and Systems

32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Thomas Wies

Springer Nature Proceedings Computer Science

電子書籍を購入

無料

あらすじ

ジャンル

コンパイラ

この書籍について

言語　English
商品番号：9783031300448
発売日　2023年4月16日
出版社：Springer Nature Switzerland

出版社： Springer
ファイル形式　EPUB3
サイズ　23.52 MB
ダウンロードオプション:EPUB3 (Adobe DRM)

関連書籍

Programming Languages and Systems

Amal Ahmed

無料

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

無料

Computer Aided Verification

Hana Chockler, Georg Weissenbacher

無料

Computer Aided Verification

Shuvendu K. Lahiri, Chao Wang

無料

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

無料

Tools and Algorithms for the Construction and Analysis of Systems

Dirk Beyer, Marieke Huisman

無料

Programming Languages and Systems

Luís Caires

無料

Automated Deduction – CADE 28

André Platzer, Geoff Sutcliffe

無料

Computer Aided Verification

Isil Dillig, Serdar Tasiran

無料

Tools and Algorithms for the Construction and Analysis of Systems

Tomáš Vojnar, Lijun Zhang

無料

Foundations of Software Science and Computation Structures

Orna Kupferman, Pawel Sobocinski

無料

Automated Reasoning

Jasmin Blanchette, Laura Kovács, Dirk Pattinson

無料

Intelligent Computer Mathematics

Manfred Kerber, Jacques Carette, Volker Sorge, Florian Rabe, Cezary Kaliszyk

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

無料

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan, Natasha Sharygina

無料

Theories of Programming Languages

John C. Reynolds

12,159 円

Programming Languages and Systems

Bor-Yuh Evan Chang

6,076 円

Logic-Based Program Synthesis and Transformation

Emanuele De Angelis, Wim Vanhoof

6,685 円

Theoretical Aspects of Computing – ICTAC 2022

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

6,076 円

Programming Languages and Systems

Peter Thiemann

6,076 円

Functional and Logic Programming

Andy King, Oleg Kiselyov

5,834 円

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

6,076 円

Foundations of Information and Knowledge Systems

Ivan Varzinczak

8,507 円

Programming Languages and Systems

Hongseok Yang

12,154 円

Theoretical Aspects of Computing – ICTAC 2021

Antonio Cerone, Peter Csaba Ölveczky

9,116 円

Interactive Theorem Proving

Jeremy Avigad, Assia Mahboubi

10,938 円

Programming Languages and Systems

Ilya Sergey

7,900 円

Logic Programming and Nonmonotonic Reasoning

Georg Gottlob, Daniela Inclezan, Marco Maratea

8,994 円

Programming Languages and Systems

Bruno C. d. S. Oliveira

6,076 円

Programming Languages and Systems

Atsushi Igarashi

6,076 円

The Logic of Software. A Tasting Menu of Formal Methods

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

12,154 円

Theoretical Aspects of Computing – ICTAC 2018

Bernd Fischer, Tarmo Uustalu

9,723 円

Integrated Formal Methods

Brijesh Dongol, Elena Troubitsyna

6,076 円

Static Analysis

Xavier Rival

6,076 円

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

6,076 円

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

6,076 円

Static Analysis

Sandrine Blazy, Thomas Jensen

6,076 円

Static Analysis

Gagandeep Singh, Caterina Urban

8,507 円

Practical Aspects of Declarative Languages

Yuliya Lierler, Walid Taha

6,076 円

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

6,076 円

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

5,834 円

Computer Aided Verification

Constantin Enea, Akash Lal

無料

Recent Trends in Algebraic Development Techniques

Phillip James, Markus Roggenbach

6,076 円

Functional and Logic Programming

John P. Gallagher, Martin Sulzmann

6,076 円

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi

15,800 円

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

6,076 円

Tests and Proofs

Virgile Prevosto, Cristina Seceleanu

6,076 円

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

6,076 円

Specification of Software Systems

V.S. Alagar, K. Periyasamy

6,076 円

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

6,076 円

Theoretical Aspects of Computing – ICTAC 2020

Violet Ka I Pun, Volker Stolz, Adenilso Simao

6,076 円

Reasoning Web. Declarative Artificial Intelligence

Mantas Šimkus, Ivan Varzinczak

9,723 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

6,076 円

Fundamentals of Software Engineering

Hossein Hojjat, Erika Ábrahám

7,292 円

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

6,076 円

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

6,076 円

Logic-Based Program Synthesis and Transformation

Maribel Fernández

9,116 円

Frontiers of Combining Systems

Boris Konev, Giles Reger

9,116 円

Formal Techniques for Distributed Objects, Components, and Systems

Mohammad Reza Mousavi, Anna Philippou

8,507 円

Automated Deduction – CADE 29

Brigitte Pientka, Cesare Tinelli

無料

Fundamentals of Software Engineering

Hossein Hojjat, Mieke Massink

8,507 円

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

6,076 円

The Semantic Web – ISWC 2016

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

6,076 円

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

6,076 円

Reasoning Web. Declarative Artificial Intelligence

Marco Manna, Andreas Pieris

6,076 円

Formal Methods and Software Engineering

Adrian Riesco, Min Zhang

6,076 円

Logic Programming and Nonmonotonic Reasoning

Marcello Balduccini, Tomi Janhunen

6,076 円

Engineering Trustworthy Software Systems

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

6,076 円

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

6,076 円

Rewriting Logic and Its Applications

Dorel Lucanu

6,076 円

A List of Successes That Can Change the World

Sam Lindley, Conor McBride, Phil Trinder, Don Sannella

6,076 円

Interactive Theorem Proving

Mauricio Ayala-Rincón, César A. Muñoz

6,076 円

Mathematics of Program Construction

Ralf Hinze, Janis Voigtländer

6,076 円

Formal Methods

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

13,369 円

Formal Methods and Software Engineering

Michael Butler, Sylvain Conchon, Fatiha Zaïdi

6,076 円

Foundations of Information and Knowledge Systems

Flavio Ferrarotti, Stefan Woltran

12,154 円

Reasoning Web. Web Logic Rules

Wolfgang Faber, Adrian Paschke

6,076 円

Static Analysis

Francesco Ranzato

6,076 円

SOFSEM 2016: Theory and Practice of Computer Science

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

6,076 円

Cryptography and Coding

Jens Groth

6,076 円

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

4,862 円

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

4,862 円

Grammatical Inference

Wojciech Wieczorek

14,585 円

Intelligent Computer Mathematics

Kevin Buzzard, Temur Kutsia

6,076 円

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac, Philipp Rümmer

6,076 円

Inductive Logic Programming

Jesse Davis, Jan Ramon

5,834 円

Reachability Problems

Anthony W. Lin, Georg Zetzsche, Igor Potapov

6,685 円

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

6,076 円

Programming Languages and Systems

Hakjoo Oh

9,116 円

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires

6,076 円

Recent Trends in Algebraic Development Techniques

Markus Roggenbach

6,076 円

Formal Techniques for Distributed Objects, Components, and Systems

Kirstin Peters, Tim A. C. Willemse

6,076 円

Logic-Based Program Synthesis and Transformation

Alicia Villanueva

6,685 円

その他の著書

On the Pursuit of Insight and Elegance

Daniel Dietsch, Andrey Rybalchenko, Martin Schäf, Thomas Wies

6,076 円

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

10,938 円

Networked Systems

David Mohaisen, Thomas Wies

7,292 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Programming Languages and Systems

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Programming Languages and Systems

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

Programming Languages and Systems

Automated Deduction – CADE 28

Computer Aided Verification

Tools and Algorithms for the Construction and Analysis of Systems

Foundations of Software Science and Computation Structures

Automated Reasoning

Intelligent Computer Mathematics

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Theories of Programming Languages

Programming Languages and Systems

Logic-Based Program Synthesis and Transformation

Theoretical Aspects of Computing – ICTAC 2022

Programming Languages and Systems

Functional and Logic Programming

Logic-Based Program Synthesis and Transformation

Foundations of Information and Knowledge Systems

Programming Languages and Systems

Theoretical Aspects of Computing – ICTAC 2021

Interactive Theorem Proving

Programming Languages and Systems

Logic Programming and Nonmonotonic Reasoning

Programming Languages and Systems

Programming Languages and Systems

The Logic of Software. A Tasting Menu of Formal Methods

Theoretical Aspects of Computing – ICTAC 2018

Integrated Formal Methods

Static Analysis

Trustworthy Global Computing

Logic-Based Program Synthesis and Transformation

Static Analysis

Static Analysis

Practical Aspects of Declarative Languages

Interactive Theorem Proving

Declarative Programming and Knowledge Management

Computer Aided Verification

Recent Trends in Algebraic Development Techniques

Functional and Logic Programming

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Programming Languages and Systems

Tests and Proofs

Theoretical Aspects of Computing – ICTAC 2016

Specification of Software Systems

Interactive Theorem Proving

Theoretical Aspects of Computing – ICTAC 2020

Reasoning Web. Declarative Artificial Intelligence

Verification, Model Checking, and Abstract Interpretation

Perspectives of System Informatics

Fundamentals of Software Engineering

Logic Programming and Nonmonotonic Reasoning

Theoretical Aspects of Computing - ICTAC 2015

Logic-Based Program Synthesis and Transformation

Frontiers of Combining Systems

Formal Techniques for Distributed Objects, Components, and Systems

Automated Deduction – CADE 29

Fundamentals of Software Engineering

Logic-Based Program Synthesis and Transformation

The Semantic Web – ISWC 2016

Inductive Logic Programming

Reasoning Web. Declarative Artificial Intelligence

Formal Methods and Software Engineering

Logic Programming and Nonmonotonic Reasoning

Engineering Trustworthy Software Systems

Theoretical Aspects of Computing – ICTAC 2017

Rewriting Logic and Its Applications

A List of Successes That Can Change the World

Interactive Theorem Proving