Logic Based Program Synthesis and Transformation

Mã QR

Logic Based Program Synthesis and Transformation

Đã lưu trong:

Chi tiết về thư mục
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Springer Berlin Heidelberg 2020
Những chủ đề:	Computer Science Logics and Meanings of Programs Programming Techniques
Truy cập trực tuyến:	http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81248
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Logic-Based Program Synthesis and Transformation
Bỡi: Hermenegildo, Manuel V, et al.
Được phát hành: (2020)

Logic-Based Program Synthesis and Transformation
Bỡi: Fioravanti, Fabio, et al.
Được phát hành: (2020)

Logic-Based Program Synthesis and Transformation
Được phát hành: (2020)

Types for Proofs and Programs
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Riguzzi, Fabrizio, et al.
Được phát hành: (2020)

Logic Programming and Nonmonotonic Reasoning
Bỡi: Baral, Chitta, et al.
Được phát hành: (2020)

Logic Synthesis for FSM-Based Control Units
Bỡi: Barkalov, Alexander, et al.
Được phát hành: (2020)

Logic Programming and Nonmonotonic Reasoning
Bỡi: Balduccini, Marcello, et al.
Được phát hành: (2020)

Algebraic Informatics
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Cussens, James, et al.
Được phát hành: (2020)

Rewriting Logic and Its Applications
Bỡi: Rusu, Vlad
Được phát hành: (2020)

Logic and Its Applications
Được phát hành: (2020)

Principles of Programming Languages
Bỡi: Dowek, Gilles
Được phát hành: (2020)

Unifying Theories of Programming
Bỡi: Bowen, Jonathan P., et al.
Được phát hành: (2020)

Programming Languages and Systems
Được phát hành: (2020)

Bidirectional Transformations
Bỡi: Gibbons, Jeremy, et al.
Được phát hành: (2020)

Multiparadigm Programming in Mozart/Oz
Được phát hành: (2020)

Program Analysis and Compilation, Theory and Practice
Bỡi: Reps, Thomas, et al.
Được phát hành: (2020)

Value-Range Analysis of C Programs
Bỡi: Simon, Axel
Được phát hành: (2020)

Scenarios: Models, Transformations and Tools
Được phát hành: (2020)

Types for Proofs and Programs
Bỡi: Miculan, Marino, et al.
Được phát hành: (2020)

Model-Based Safety and Assessment
Bỡi: Bozzano, Marco, et al.
Được phát hành: (2020)

Model-Based Testing of Reactive Systems
Được phát hành: (2020)

Logical Foundations of Computer Science. 1st ed. 2018
Bỡi: Artemov, Sergei, et al.
Được phát hành: (2020)

Logic Programming
Bỡi: Gabbrielli, Maurizio, et al.
Được phát hành: (2020)

Logic Programming
Bỡi: Dahl, Verónica, et al.
Được phát hành: (2020)

Logic Programming
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Kramer, Stefan, et al.
Được phát hành: (2020)

Inductive Logic Programming
Bỡi: Blockeel, Hendrik, et al.
Được phát hành: (2020)

Non-deterministic concurrent logic programming in Pandora /
Bỡi: Bahgat, Reem.
Được phát hành: (1993)

Non-deterministic concurrent logic programming in Pandora /
Bỡi: Bahgat, Reem.
Được phát hành: (1993)

Applied Logic for Computer Scientists . 1st ed. 2017
Bỡi: Ayala-Rincón, Mauricio, et al.
Được phát hành: (2020)

Programming logic and design, introductory
Bỡi: Joyce Farrell
Được phát hành: (2008)

Programming logic and design : comprehensive
Bỡi: Joyce Farrell
Được phát hành: (2007)

P-Prolog, a parallel logic programming language /
Bỡi: Yang, Rong.
Được phát hành: (1987)

Logic, Language, Information, and Computation
Bỡi: Moss, Lawrence S., et al.
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Bỡi: Dershowitz, Nachum, et al.
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Được phát hành: (2020)

Logic for Programming, Artificial Intelligence, and Reasoning
Bỡi: Sutcliffe, Geoff, et al.
Được phát hành: (2020)

Advances in Computer Science - ASIAN 2007. Computer and Network Security
Bỡi: Cervesato, Iliano
Được phát hành: (2020)