logic-based-program-development

You May Like

Logic-Based Program Synthesis and Transformation: 23rd International Symposium,
Logic-Based Program Synthesis and Transformation: 23rd International Symposium,

$73.62

View Details
Logic Based Program Synthesis and Transformation: 14th International Symposium,
Logic Based Program Synthesis and Transformation: 14th International Symposium,

$66.79

View Details
Interactive Theorem Proving and Program Development - Hardcover - VERY GOOD
Interactive Theorem Proving and Program Development - Hardcover - VERY GOOD

$52.32

View Details
Logic-Based Program Synthesis and Transformation: 16th International Symposium,
Logic-Based Program Synthesis and Transformation: 16th International Symposium,

$67.23

View Details
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of In
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of In

$60.60

View Details
Fernndez - Logic-Based Program Synthesis and Transformation 30th I - S9000z
Fernndez - Logic-Based Program Synthesis and Transformation 30th I - S9000z

$114.28

View Details
Logic-Based Program Synthesis and Transformation: 17th International Symposium,
Logic-Based Program Synthesis and Transformation: 17th International Symposium,

$66.79

View Details
Starting Out with Programming Logic and Design by Tony Gaddis ( CD-ROM)
Starting Out with Programming Logic and Design by Tony Gaddis ( CD-ROM)

$44.99

View Details
Proietti - Logic-Based Program Synthesis and Transformation 24th In - S9000z
Proietti - Logic-Based Program Synthesis and Transformation 24th In - S9000z

$76.18

View Details
Logic-Based Program Synthesis and Transformation: 24th International Symposium,
Logic-Based Program Synthesis and Transformation: 24th International Symposium,

$66.79

View Details
Logic-based Program Synthesis and Transformation : 27th International Symposi...
Logic-based Program Synthesis and Transformation : 27th International Symposi...

$65.97

View Details
Falaschi - Logic-Based Program Synthesis and Transformation 25th In - S9000z
Falaschi - Logic-Based Program Synthesis and Transformation 25th In - S9000z

$76.18

View Details
Logic-Based Program Synthesis and Transformation: 18th International Symposium,
Logic-Based Program Synthesis and Transformation: 18th International Symposium,

$66.79

View Details
Logic-Based Program Synthesis and Transformation: 25th International Symposium,
Logic-Based Program Synthesis and Transformation: 25th International Symposium,

$77.66

View Details
Logic Based Program Synthesis and Transformation: 11th International Workshop, L
Logic Based Program Synthesis and Transformation: 11th International Workshop, L

$67.23

View Details
Logic-based Program Synthesis and Transformation : 29th International Symposi...
Logic-based Program Synthesis and Transformation : 29th International Symposi...

$65.97

View Details
Logic Based Program Synthesis And Transformation : 15th International Symposi...
Logic Based Program Synthesis And Transformation : 15th International Symposi...

$66.16

View Details
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LO
Logic-Based Program Synthesis and Transformation: 9th International Workshop, LO

$67.60

View Details
Programmable Logic Controllers Programming Methods and Applications
Programmable Logic Controllers Programming Methods and Applications

$45.97

View Details
Mesnard - Logic-Based Program Synthesis and Transformation 28th Int - S9000z
Mesnard - Logic-Based Program Synthesis and Transformation 28th Int - S9000z

$68.72

View Details
Logic-based Program Synthesis and Transformation : 23rd International Symposi...
Logic-based Program Synthesis and Transformation : 23rd International Symposi...

$68.70

View Details
Logic and Integer Programming by H. Paul Williams (English) Hardcover Book
Logic and Integer Programming by H. Paul Williams (English) Hardcover Book

$67.91

View Details
Logic-based Program Synthesis and Transformation : 16th International Symposi...
Logic-based Program Synthesis and Transformation : 16th International Symposi...

$66.40

View Details
Hanus - Logic-Based Program Synthesis and Transformation 18th Intern - S9000z
Hanus - Logic-Based Program Synthesis and Transformation 18th Intern - S9000z

$68.72

View Details
The Decision Model: A Business Logic Framework Linking Business and Technology
The Decision Model: A Business Logic Framework Linking Business and Technology

$4.36

View Details
Logic-Based Program Synthesis and Transformation : 18th International Symposi...
Logic-Based Program Synthesis and Transformation : 18th International Symposi...

$65.97

View Details
Logic-Based Program Synthesis and Transformation: 29th International Symposium,
Logic-Based Program Synthesis and Transformation: 29th International Symposium,

$66.79

View Details
Logic-based Program Synthesis and Transformation : 25th International Symposi...
Logic-based Program Synthesis and Transformation : 25th International Symposi...

$69.18

View Details
Logic-Based Program Synthesis and Transformation: 32nd International Symposium,
Logic-Based Program Synthesis and Transformation: 32nd International Symposium,

$79.30

View Details
Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - New h
Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - New h

$52.56

View Details
Logic-Based Program Synthesis and Transformation: 26th International Symposium,
Logic-Based Program Synthesis and Transformation: 26th International Symposium,

$77.66

View Details
Logic-based Program Synthesis and Transformation : 32nd International Symposi...
Logic-based Program Synthesis and Transformation : 32nd International Symposi...

$76.19

View Details
The Decision Model: A Business Logic Framework Linking Business and Technolo...
The Decision Model: A Business Logic Framework Linking Business and Technolo...

$4.07

View Details
Logic-based Program Synthesis and Transformation : 24th International Symposi...
Logic-based Program Synthesis and Transformation : 24th International Symposi...

$65.98

View Details
Apt - Constraint Logic Programming using Eclipse - New hardback or ca - S9000z
Apt - Constraint Logic Programming using Eclipse - New hardback or ca - S9000z

$107.33

View Details
Компьютерная математика. / Computer mathematics.
Компьютерная математика. / Computer mathematics.

$29.00

View Details
Inductive Logic Programming: 15th International Conference, Ilp 2005, Bonn, Germ
Inductive Logic Programming: 15th International Conference, Ilp 2005, Bonn, Germ

$3.00

View Details
Fioravanti - Logic-Based Program Synthesis and Transformation 27th - S9000z
Fioravanti - Logic-Based Program Synthesis and Transformation 27th - S9000z

$69.20

View Details
Logic-based Program Synthesis and Transformation : 24th International Symposi...
Logic-based Program Synthesis and Transformation : 24th International Symposi...

$65.97

View Details
Logic-based Program Synthesis and Transformation : 23rd International Symposi...
Logic-based Program Synthesis and Transformation : 23rd International Symposi...

$68.71

View Details
Durn - Rewriting Logic and Its Applications 9th International Work - S9000z
Durn - Rewriting Logic and Its Applications 9th International Work - S9000z

$63.00

View Details
Mathematical Foundations of Software Development. Proceedings of the Internation
Mathematical Foundations of Software Development. Proceedings of the Internation

$26.07

View Details
Статистика и планирование эксперимента в технике и науке. Методы обработки данны
Статистика и планирование эксперимента в технике и науке. Методы обработки данны

$35.00

View Details
Dershowitz - Logic for Programming Artificial Intelligence and Reas - S9000z
Dershowitz - Logic for Programming Artificial Intelligence and Reas - S9000z

$69.80

View Details
McMillan - Logic for Programming Artificial Intelligence and Reason - S9000z
McMillan - Logic for Programming Artificial Intelligence and Reason - S9000z

$70.18

View Details
Перечислительная комбинаторика. Стенли Р / Enumerative combinatorics. Stanley R
Перечислительная комбинаторика. Стенли Р / Enumerative combinatorics. Stanley R

$35.00

View Details
Logic-Based Program Synthesis and Transformation: 27th International Symposium,
Logic-Based Program Synthesis and Transformation: 27th International Symposium,

$66.79

View Details
Коммутативная алгебра Зарисский О./ Commutative algebra Zariski O.
Коммутативная алгебра Зарисский О./ Commutative algebra Zariski O.

$29.00

View Details
Microsoft Official Course 2710B Analyzing Requirements and Defining - VERY GOOD
Microsoft Official Course 2710B Analyzing Requirements and Defining - VERY GOOD

$9.55

View Details
Mathematics for Game Developers [With CDROM] by Tremblay, Christopher
Mathematics for Game Developers [With CDROM] by Tremblay, Christopher

$11.23

View Details
Brain Fitness: Proven Program to Improve Memory, Logic, Attention Span - Poncin
Brain Fitness: Proven Program to Improve Memory, Logic, Attention Span - Poncin

$4.99

View Details
The Decision Model : A Business Logic Framework Linking Business
The Decision Model : A Business Logic Framework Linking Business

$10.55

View Details
Davis - Logic for Programming Artificial Intelligence and Reasoning - S9000z
Davis - Logic for Programming Artificial Intelligence and Reasoning - S9000z

$76.78

View Details
Cervesato - Logic for Programming Artificial Intelligence and Reaso - S9000z
Cervesato - Logic for Programming Artificial Intelligence and Reaso - S9000z

$133.04

View Details
Алгебраическая комбинаторика. Схемы отношений. / Algebraic combinatorics.
Алгебраическая комбинаторика. Схемы отношений. / Algebraic combinatorics.

$35.00

View Details
FPGA Prototyping by SystemVerilog Examples : Xilinx MicroBlaze MCS SoC...
FPGA Prototyping by SystemVerilog Examples : Xilinx MicroBlaze MCS SoC...

$90.00

View Details
Blume - Functional and Logic Programming 10th International Symposi - S9000z
Blume - Functional and Logic Programming 10th International Symposi - S9000z

$112.45

View Details
Основы кибернетики. Джордж Фрэнк. / Fundamentals of cybernetics. Dzhordzh Frenk.
Основы кибернетики. Джордж Фрэнк. / Fundamentals of cybernetics. Dzhordzh Frenk.

$35.00

View Details
Програмирование. Теория и практика кодов, контролирующих ошибки. Блейхут Р.
Програмирование. Теория и практика кодов, контролирующих ошибки. Блейхут Р.

$35.00

View Details
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of

$66.26

View Details
The Decision Model: A Business Logic Framework Linking Business and Technology b
The Decision Model: A Business Logic Framework Linking Business and Technology b

$156.92

View Details
Logic Programming New Frontiers, Paperback by Brough, D. R. (EDT), Like New U...
Logic Programming New Frontiers, Paperback by Brough, D. R. (EDT), Like New U...

$123.66

View Details
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In
Interactive Theorem Proving and Program Development: Coq'art: The Calculus of In

$104.00

View Details
Логика, алгебра и базы данных. / Logic, algebra and databases.
Логика, алгебра и базы данных. / Logic, algebra and databases.

$29.00

View Details
Rigorous Software Development : An Introduction to Program Verification, Pape...
Rigorous Software Development : An Introduction to Program Verification, Pape...

$43.48

View Details
Hanus - Logic-Based Program Synthesis and Transformation 18th Interna - S555z
Hanus - Logic-Based Program Synthesis and Transformation 18th Interna - S555z

$81.25

View Details
Schwichtenberg - Logic of Computation - New hardback or cased book - S9000z
Schwichtenberg - Logic of Computation - New hardback or cased book - S9000z

$132.68

View Details
Shur - Developments in Language Theory 18th International Conferenc - S9000z
Shur - Developments in Language Theory 18th International Conferenc - S9000z

$69.20

View Details
Calvanese - Web Reasoning and Rule Systems Second International Con - S9000z
Calvanese - Web Reasoning and Rule Systems Second International Con - S9000z

$68.72

View Details
Jayadev Misra Theories of Programming (Paperback) ACM Collection II
Jayadev Misra Theories of Programming (Paperback) ACM Collection II

$64.67

View Details
Escobar - Rewriting Logic and Its Applications 10th International W - S9000z
Escobar - Rewriting Logic and Its Applications 10th International W - S9000z

$75.70

View Details
Hinze - Mathematics of Program Construction 12th International Conf - S9000z
Hinze - Mathematics of Program Construction 12th International Conf - S9000z

$76.18

View Details
Potapov - Developments in Language Theory 19th International Confer - S9000z
Potapov - Developments in Language Theory 19th International Confer - S9000z

$76.18

View Details
Комбинаторные алгоритмы.Теория и практика / Combinatorial algorithms. Theory and
Комбинаторные алгоритмы.Теория и практика / Combinatorial algorithms. Theory and

$35.00

View Details
Beal - Developments in Language Theory 17th International Conferenc - S9000z
Beal - Developments in Language Theory 17th International Conferenc - S9000z

$69.20

View Details
Codish - Functional and Logic Programming 12th International Sympos - S9000z
Codish - Functional and Logic Programming 12th International Sympos - S9000z

$104.20

View Details
The Decision Model: A Business Logic Framework Linking Business
The Decision Model: A Business Logic Framework Linking Business

$14.49

View Details
Bauer - Logic Algebra and Computation - New paperback or softback - S9000z
Bauer - Logic Algebra and Computation - New paperback or softback - S9000z

$132.66

View Details
Gergely - First-Order Programming Theories - New paperback or softbac - S9000z
Gergely - First-Order Programming Theories - New paperback or softbac - S9000z

$146.04

View Details
Sirisuk - Reconfigurable Computing Architectures Tools and Applicat - S9000z
Sirisuk - Reconfigurable Computing Architectures Tools and Applicat - S9000z

$76.18

View Details
Software Engineering and Formal Methods : 13th International Conference, Sefm...
Software Engineering and Formal Methods : 13th International Conference, Sefm...

$69.18

View Details
Arbab - Formal Aspects of Component Software 8th International Symp - S9000z
Arbab - Formal Aspects of Component Software 8th International Symp - S9000z

$69.20

View Details
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engine
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engine

$49.53

View Details
Codescu - Recent Trends in Algebraic Development Techniques 22nd In - S9000z
Codescu - Recent Trends in Algebraic Development Techniques 22nd In - S9000z

$63.00

View Details
Felty - Automated Deduction - CADE-25 25th International Conference - S9000z
Felty - Automated Deduction - CADE-25 25th International Conference - S9000z

$77.16

View Details
Lodi - Integer Programming and Combinatorial Optimization 13th Inte - S9000z
Lodi - Integer Programming and Combinatorial Optimization 13th Inte - S9000z

$69.80

View Details
Kourie - Correctness-by-Construction Approach to Programming - New ha - S9000z
Kourie - Correctness-by-Construction Approach to Programming - New ha - S9000z

$146.04

View Details
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto,
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto,

$63.89

View Details
Zb 2002 : Formal Specification and Development in Z and B, Paperback by Inter...
Zb 2002 : Formal Specification and Development in Z and B, Paperback by Inter...

$88.96

View Details
Clavel - All About Maude - A High-Performance Logical Framework How - S9000z
Clavel - All About Maude - A High-Performance Logical Framework How - S9000z

$121.92

View Details
Kroening - Computer Aided Verification 27th International Conferenc - S9000z
Kroening - Computer Aided Verification 27th International Conferenc - S9000z

$76.18

View Details
Biere - Computer Aided Verification 26th International Conference - S9000z
Biere - Computer Aided Verification 26th International Conference - S9000z

$147.32

View Details
Morazn - Programming-Based Formal Languages and Automata Theory De - S9000z
Morazn - Programming-Based Formal Languages and Automata Theory De - S9000z

$89.86

View Details
Mauri - Development in Language Theory 15th International Conferenc - S9000z
Mauri - Development in Language Theory 15th International Conferenc - S9000z

$69.80

View Details
Mathematical Foundations of Software Development. Proceedings of the Internat...
Mathematical Foundations of Software Development. Proceedings of the Internat...

$66.18

View Details
De Raedt - Logical and Relational Learning - New hardback or cased bo - S9000z
De Raedt - Logical and Relational Learning - New hardback or cased bo - S9000z

$69.80

View Details
Kevin Hoffman Programming WebAssembly with Rust (Paperback)
Kevin Hoffman Programming WebAssembly with Rust (Paperback)

$53.12

View Details
Logic-based Program Synthesis and Transformation : 29th International Symposi...
Logic-based Program Synthesis and Transformation : 29th International Symposi...

$65.98

View Details
Logic Based Program Synthesis And Transformation : 15th International Symposi...
Logic Based Program Synthesis And Transformation : 15th International Symposi...

$66.97

View Details

© 2008-2024 logic-based-program-development (https://www.formuc.com/). All Rights Reserved.