Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur

Filtrér resultat

Vælg pris

Alle bøger om Program semantics

Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice
Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice
    kr. 969,95
    Udsolgt
    Electronic Governance with Emerging Technologies
    Electronic Governance with Emerging Technologies
      Theoretical Aspects of Software Engineering
      Theoretical Aspects of Software Engineering
        kr. 849,95
        Theoretical Aspects of Software Engineering
        Theoretical Aspects of Software Engineering
          kr. 534,95
          Programming Languages and Systems
          Programming Languages and Systems
            kr. 494,95
            Artificial Intelligence Logic and Applications
            Artificial Intelligence Logic and Applications
              kr. 569,95
              Formal Techniques for Distributed Objects, Components, and Systems
              Formal Techniques for Distributed Objects, Components, and Systems
                kr. 554,95
                Logic-Based Program Synthesis and Transformation
                Logic-Based Program Synthesis and Transformation
                  kr. 414,95
                  Automata, Languages and Programming
                  Automata, Languages and Programming
                    kr. 774,95
                    Parallel Problem Solving from Nature – PPSN XIV
                    Parallel Problem Solving from Nature – PPSN XIV
                      kr. 774,95
                      Principles of Declarative Programming
                      Principles of Declarative Programming
                        kr. 414,95
                        Mathematics of Program Construction
                        Mathematics of Program Construction
                          kr. 414,95
                          Rewriting Techniques and Applications
                          Rewriting Techniques and Applications
                            kr. 414,95
                            Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
                            Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
                              kr. 774,95
                              Application and Theory of Petri Nets 1998
                              Application and Theory of Petri Nets 1998
                                kr. 414,95
                                Static Analysis
                                Static Analysis
                                  kr. 414,95
                                  Principles and Practice of Declarative Programming
                                  Principles and Practice of Declarative Programming
                                    kr. 414,95
                                    Foundations of Software Science and Computation Structures
                                    Foundations of Software Science and Computation Structures
                                      kr. 414,95
                                      Mathematics of Program Construction
                                      Mathematics of Program Construction
                                        kr. 414,95
                                        Theoretical Aspects of Computer Software
                                        Theoretical Aspects of Computer Software
                                          kr. 774,95
                                          Programming Languages and Systems
                                          Programming Languages and Systems
                                            kr. 414,95
                                            Verification, Model Checking, and Abstract Interpretation
                                            Verification, Model Checking, and Abstract Interpretation
                                              kr. 414,95
                                              Programming Languages and Systems
                                              Programming Languages and Systems
                                                kr. 429,95
                                                Verification, Model Checking, and Abstract Interpretation
                                                Verification, Model Checking, and Abstract Interpretation
                                                  kr. 429,95
                                                  Foundations of Software Science and Computation Structures
                                                  Foundations of Software Science and Computation Structures
                                                    kr. 414,95
                                                    Programming Languages and Systems
                                                    Programming Languages and Systems
                                                      kr. 414,95
                                                      Automata, Languages and Programming
                                                      Automata, Languages and Programming
                                                        kr. 774,95
                                                        Quantitative Evaluation of Systems
                                                        Quantitative Evaluation of Systems
                                                          kr. 609,95
                                                          Verification, Model Checking, and Abstract Interpretation
                                                          Verification, Model Checking, and Abstract Interpretation
                                                            kr. 414,95
                                                            Programming Languages and Systems
                                                            Programming Languages and Systems
                                                              kr. 414,95
                                                              Logic Programming
                                                              Logic Programming
                                                                kr. 414,95
                                                                Verification, Model Checking, and Abstract Interpretation
                                                                Verification, Model Checking, and Abstract Interpretation
                                                                  kr. 414,95
                                                                  Applied Semantics
                                                                  Applied Semantics
                                                                    kr. 414,95