abstraction-in-software-engineering

You May Like

Software Engineering with Abstractions by Berzins, Valdis; Lugi, Lucia
Software Engineering with Abstractions by Berzins, Valdis; Lugi, Lucia

$8.84

View Details
SOFTWARE ENGINEERING WITH ABSTRACTIONS By Valdis Berzins - Hardcover *Excellent*
SOFTWARE ENGINEERING WITH ABSTRACTIONS By Valdis Berzins - Hardcover *Excellent*

$24.49

View Details
Data Structures and Abstractions with Java by Walter Savitch and Frank...
Data Structures and Abstractions with Java by Walter Savitch and Frank...

$27.00

View Details
Software Engineering 1: Abstraction And Modelling
Software Engineering 1: Abstraction And Modelling

$104.57

View Details
Software Abstractions Logic Language and Analysis by Daniel Jackson Hardcover
Software Abstractions Logic Language and Analysis by Daniel Jackson Hardcover

$9.99

View Details
Software Engineering 1: Abstraction And Modelling
Software Engineering 1: Abstraction And Modelling

$99.43

View Details
Software Engineering with Abstractions Paperback Lucia, Berzins,
Software Engineering with Abstractions Paperback Lucia, Berzins,

$8.63

View Details
Software Engineering with Abstractions by Berzins, Valdis; Lugi, Lucia
Software Engineering with Abstractions by Berzins, Valdis; Lugi, Lucia

$8.13

View Details
Software Engineering With Abstraction (1991) Berzins and Luqi - Fine+ Condition
Software Engineering With Abstraction (1991) Berzins and Luqi - Fine+ Condition

$1.88

View Details
Software Engineering 1: Abstraction and Modelling by Dines Bjørner: New
Software Engineering 1: Abstraction and Modelling by Dines Bjørner: New

$123.31

View Details
Data Structures and Abstractions with JAVA: 4th Edition, 2015. Good Cond. 397 Pg
Data Structures and Abstractions with JAVA: 4th Edition, 2015. Good Cond. 397 Pg

$15.99

View Details
Software Abstractions: Logic, Language, and Analysis by Jackson, Daniel
Software Abstractions: Logic, Language, and Analysis by Jackson, Daniel

$11.08

View Details
Data Abstraction and Problem Solving w/ Java : Walls and Mirrors; 2011 Paperback
Data Abstraction and Problem Solving w/ Java : Walls and Mirrors; 2011 Paperback

$43.36

View Details
Software Engineering 1 : Abstraction and Modelling, Paperback by Bjørner, Din...
Software Engineering 1 : Abstraction and Modelling, Paperback by Bjørner, Din...

$113.96

View Details
Software Engineering 1: Abstraction and Modelling by Dines Bj?rner (English) Pap
Software Engineering 1: Abstraction and Modelling by Dines Bj?rner (English) Pap

$115.37

View Details
Exploring Abstract Algebra With - Paperback, by Hibbard Allen C. - Good
Exploring Abstract Algebra With - Paperback, by Hibbard Allen C. - Good

$13.20

View Details
Software Abstractions : Logic, Language, and Analysis Hardcover D
Software Abstractions : Logic, Language, and Analysis Hardcover D

$11.53

View Details
Software Engineering: Abstraction and Modelling: Volume 1 (Texts in
Software Engineering: Abstraction and Modelling: Volume 1 (Texts in

$132.98

View Details
Software Abstractions : Logic, Language, and Analysis, Paperback by Jackson
Software Abstractions : Logic, Language, and Analysis, Paperback by Jackson

$37.50

View Details
Software Abstractions: Logic, Language, and Analysis (Paperback or Softback)
Software Abstractions: Logic, Language, and Analysis (Paperback or Softback)

$53.46

View Details
Exploring Abstract Algebra With Mathematica® - Paperback - GOOD
Exploring Abstract Algebra With Mathematica® - Paperback - GOOD

$12.91

View Details
Software Abstractions: Logic, Language, and Analysis by Daniel Jackson: Used
Software Abstractions: Logic, Language, and Analysis by Daniel Jackson: Used

$16.42

View Details
Software Abstractions : Logic, Language, and Analysis, Paperback by Jackson, ...
Software Abstractions : Logic, Language, and Analysis, Paperback by Jackson, ...

$53.16

View Details
Data Structures, Algorithms, and Software Principles in C by Standish, Thomas
Data Structures, Algorithms, and Software Principles in C by Standish, Thomas

$18.90

View Details
SOFTWARE ABSTRACTIONS: LOGIC, LANGUAGE, AND ANALYSIS By Daniel Jackson BRAND NEW
SOFTWARE ABSTRACTIONS: LOGIC, LANGUAGE, AND ANALYSIS By Daniel Jackson BRAND NEW

$50.95

View Details
ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC By Annabelle Mciver NEW
ABSTRACTION, REFINEMENT AND PROOF FOR PROBABILISTIC By Annabelle Mciver NEW

$67.49

View Details
Applications of Abstract Algebra with Maple
Applications of Abstract Algebra with Maple

$17.18

View Details
Software Measurement: Current Trends In Research And Practice
Software Measurement: Current Trends In Research And Practice

$58.51

View Details
Software Engineering 1: Abstraction and Modelling by Dines Bj?rner (English) Har
Software Engineering 1: Abstraction and Modelling by Dines Bj?rner (English) Har

$140.62

View Details
Applied Abstract Algebra - Hardcover, by Klima Richard Sigmon - Acceptable n
Applied Abstract Algebra - Hardcover, by Klima Richard Sigmon - Acceptable n

$101.50

View Details
Static Analysis of Software: The Abstract Interpretation by Jean-Louis Boulanger
Static Analysis of Software: The Abstract Interpretation by Jean-Louis Boulanger

$197.14

View Details
SOFTWARE ABSTRACTIONS: LOGIC, LANGUAGE, AND ANALYSIS (MIT By Daniel Jackson Mint
SOFTWARE ABSTRACTIONS: LOGIC, LANGUAGE, AND ANALYSIS (MIT By Daniel Jackson Mint

$196.95

View Details
Discovering Mathematics with Magma: Reducing the Abstract to the Concrete: New
Discovering Mathematics with Magma: Reducing the Abstract to the Concrete: New

$79.73

View Details
Program Development in Java : Abstraction, Specification, and Object-Oriented...
Program Development in Java : Abstraction, Specification, and Object-Oriented...

$11.99

View Details
Static Analysis and Verification of Aerospace Software by Abstract Interpreta-,
Static Analysis and Verification of Aerospace Software by Abstract Interpreta-,

$130.63

View Details
Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 ...
Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 ...

$66.85

View Details
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - Fe
Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - Fe

$74.45

View Details
Software Abstractions: Logic, Language, and Analysis, Jackson 9780262528900-,
Software Abstractions: Logic, Language, and Analysis, Jackson 9780262528900-,

$64.33

View Details
Software Engineering 1 : Abstraction and Modelling, Paperback by Bjørner, Din...
Software Engineering 1 : Abstraction and Modelling, Paperback by Bjørner, Din...

$113.97

View Details
Abstract State Machines: A Method for High-Level System Design and Analysis by E
Abstract State Machines: A Method for High-Level System Design and Analysis by E

$76.15

View Details
Objects, Abstraction, Data Structures and Design: Using C++ by Elliot B. Koffman
Objects, Abstraction, Data Structures and Design: Using C++ by Elliot B. Koffman

$134.44

View Details
Introduction to Static Analysis: An Abstract Interpretation Perspective by Xavie
Introduction to Static Analysis: An Abstract Interpretation Perspective by Xavie

$81.68

View Details
Program Development in Java : Abstraction, Specification, and Object-Oriented...
Program Development in Java : Abstraction, Specification, and Object-Oriented...

$37.87

View Details
The Essence of Software: Why Concepts Matter for Great Design by Daniel Jackson
The Essence of Software: Why Concepts Matter for Great Design by Daniel Jackson

$31.83

View Details
Abstract State Machines, B and Z : First International Conference, Abz 2008 L...
Abstract State Machines, B and Z : First International Conference, Abz 2008 L...

$66.16

View Details
Software Measurement : Current Trends in Research and Practice, Paperback by ...
Software Measurement : Current Trends in Research and Practice, Paperback by ...

$65.98

View Details
The Essence of Software: Why Concepts Matter for Great Design by Daniel Jackson
The Essence of Software: Why Concepts Matter for Great Design by Daniel Jackson

$38.50

View Details
Engineering Trustworthy Software Systems : 5th International School, Setss 20...
Engineering Trustworthy Software Systems : 5th International School, Setss 20...

$65.97

View Details
Software Measurement: Current Trends in Research and Practice by Reiner Dumke (E
Software Measurement: Current Trends in Research and Practice by Reiner Dumke (E

$66.79

View Details
Brger - Abstract State Machines A Method for High-Level System Des - S9000z
Brger - Abstract State Machines A Method for High-Level System Des - S9000z

$76.18

View Details
Barthe - Verification Model Checking and Abstract Interpretation - S9000z
Barthe - Verification Model Checking and Abstract Interpretation - S9000z

$76.18

View Details
Introduction to Static Analysis : An Abstract Interpretation Perspective, Har...
Introduction to Static Analysis : An Abstract Interpretation Perspective, Har...

$81.67

View Details
Abstract State Machines 2004. Advances in Theory and Practice: 11th Internationa
Abstract State Machines 2004. Advances in Theory and Practice: 11th Internationa

$67.23

View Details
Exploring Abstract Algebra With Mathematica, Paperback by Hibbard, Allen C.; ...
Exploring Abstract Algebra With Mathematica, Paperback by Hibbard, Allen C.; ...

$65.26

View Details
Abstract State Machines, B and Z: First International Conference, ABZ 2008, Lond
Abstract State Machines, B and Z: First International Conference, ABZ 2008, Lond

$66.98

View Details
Daniel Jackson Software Abstractions (Paperback) MIT Press (UK IMPORT)
Daniel Jackson Software Abstractions (Paperback) MIT Press (UK IMPORT)

$68.35

View Details
Henglein - Verification Model Checking and Abstract Interpretation - S9000z
Henglein - Verification Model Checking and Abstract Interpretation - S9000z

$133.93

View Details
Static Analysis of Software : The Abstract Interpretation, Hardcover by Boula...
Static Analysis of Software : The Abstract Interpretation, Hardcover by Boula...

$197.13

View Details
Methodes Matricielles - Introduction a La Complexite Algebrique/ Matrix Metho...
Methodes Matricielles - Introduction a La Complexite Algebrique/ Matrix Metho...

$63.38

View Details
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019,
Engineering Trustworthy Software Systems: 5th International School, SETSS 2019,

$66.79

View Details
Objects, Abstraction, Data Structures And Design Using C++, Paperback by Koff...
Objects, Abstraction, Data Structures And Design Using C++, Paperback by Koff...

$136.57

View Details
Debugging Systems-on-Chip : Communication-centric and Abstraction-based Techn...
Debugging Systems-on-Chip : Communication-centric and Abstraction-based Techn...

$123.29

View Details
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, A
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, A

$66.98

View Details
Enea - Verification Model Checking and Abstract Interpretation 20 - S9000z
Enea - Verification Model Checking and Abstract Interpretation 20 - S9000z

$69.80

View Details
Object-Orientation, Abstraction, and Data Structures Using Scala, Paperback b...
Object-Orientation, Abstraction, and Data Structures Using Scala, Paperback b...

$127.83

View Details
Network-Based Parallel Computing - Communication, Architecture, and Applications
Network-Based Parallel Computing - Communication, Architecture, and Applications

$66.61

View Details
Uhl - A Systematic Catalogue of Reusable Abstract Data Types - New pa - S9000z
Uhl - A Systematic Catalogue of Reusable Abstract Data Types - New pa - S9000z

$76.18

View Details
Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont S
Unconventional Programming Paradigms: International Workshop UPP 2004, Le Mont S

$67.60

View Details
Exploring Abstract Algebra With Mathematica by Allen C. Hibbard (English) Paperb
Exploring Abstract Algebra With Mathematica by Allen C. Hibbard (English) Paperb

$67.23

View Details
Cook - Verification Model Checking and Abstract Interpretation 8t - S9000z
Cook - Verification Model Checking and Abstract Interpretation 8t - S9000z

$69.20

View Details
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference

$77.35

View Details
Applied Abstract Algebra With Maple and Matlab, Hardcover by Klima, Richard; ...
Applied Abstract Algebra With Maple and Matlab, Hardcover by Klima, Richard; ...

$127.32

View Details
Kamada - VISUALIZING ABSTRACT OBJECTS AND RELATIONS - New hardback or - S9000z
Kamada - VISUALIZING ABSTRACT OBJECTS AND RELATIONS - New hardback or - S9000z

$92.73

View Details
Debugging Systems-on-Chip: Communication-centric and Abstraction-based Technique
Debugging Systems-on-Chip: Communication-centric and Abstraction-based Technique

$139.92

View Details
Abstract State Machines 2003: Advances in Theory and Practice: 10th Internationa
Abstract State Machines 2003: Advances in Theory and Practice: 10th Internationa

$75.38

View Details
Python Distilled, Paperback by Beazley, David M, Brand New, Free shipping in ...
Python Distilled, Paperback by Beazley, David M, Brand New, Free shipping in ...

$48.93

View Details
Discovering Mathematics with Magma: Reducing the Abstract to the Concrete by Wie
Discovering Mathematics with Magma: Reducing the Abstract to the Concrete by Wie

$125.37

View Details
Computing in Algebraic Geometry : A Quick Start Using Singular, Paperback by ...
Computing in Algebraic Geometry : A Quick Start Using Singular, Paperback by ...

$66.78

View Details
Debugging Systems-on-Chip: Communication-centric and Abstraction-based Technique
Debugging Systems-on-Chip: Communication-centric and Abstraction-based Technique

$167.29

View Details
Decker - Computing in Algebraic Geometry A Quick Start using SINGUL - S9000z
Decker - Computing in Algebraic Geometry A Quick Start using SINGUL - S9000z

$113.49

View Details
McIver - Abstraction Refinement and Proof for Probabilistic Systems - - S555z
McIver - Abstraction Refinement and Proof for Probabilistic Systems - - S555z

$159.65

View Details
Programming Abstractions in C: A Second Course in Computer Science by Roberts
Programming Abstractions in C: A Second Course in Computer Science by Roberts

$49.99

View Details
Computing in Algebraic Geometry: A Quick Start using SINGULAR by Wolfram Decker
Computing in Algebraic Geometry: A Quick Start using SINGULAR by Wolfram Decker

$66.79

View Details
Computing in Algebraic Geometry: A Quick Start using SINGULAR by Wolfram Decker
Computing in Algebraic Geometry: A Quick Start using SINGULAR by Wolfram Decker

$68.46

View Details
Hibbard - Exploring Abstract Algebra With Mathematica - New paperbac - S9000z
Hibbard - Exploring Abstract Algebra With Mathematica - New paperbac - S9000z

$69.80

View Details
Mthodes matricielles - Introduction la complexit algbrique by Jounaidi Abdeljaou
Mthodes matricielles - Introduction la complexit algbrique by Jounaidi Abdeljaou

$67.60

View Details
Universal Algebra, Algebraic Logic, and Databases, Hardcover by Plotkin, B. ...
Universal Algebra, Algebraic Logic, and Databases, Hardcover by Plotkin, B. ...

$126.79

View Details
Tools and Algorithms for the Construction and Analysis of Systems: 10th Internat
Tools and Algorithms for the Construction and Analysis of Systems: 10th Internat

$127.53

View Details
Applications of Abstract Algebra with Maple and Matlab by Richard Klima
Applications of Abstract Algebra with Maple and Matlab by Richard Klima

$44.95

View Details
Gentle Introduction to Group Theory, Paperback by Al Subaiei, Bana; Al Nuwair...
Gentle Introduction to Group Theory, Paperback by Al Subaiei, Bana; Al Nuwair...

$63.74

View Details
String Analysis for Software Verification and Security by Tevfik Bultan (English
String Analysis for Software Verification and Security by Tevfik Bultan (English

$114.57

View Details
Logical Foundations of Database Transformations for Complex-Value Databases by Q
Logical Foundations of Database Transformations for Complex-Value Databases by Q

$73.63

View Details
Applied Abstract Algebra with MapleTM and MATLAB (Textbooks in Mathematics), Kli
Applied Abstract Algebra with MapleTM and MATLAB (Textbooks in Mathematics), Kli

$108.45

View Details
Introduction to Static Analysis: An Abstract In, Rival, Yi..
Introduction to Static Analysis: An Abstract In, Rival, Yi..

$104.72

View Details
String Analysis for Software Verification and Security, Paperback by Bultan, ...
String Analysis for Software Verification and Security, Paperback by Bultan, ...

$81.71

View Details
String Analysis for Software Verification and Security, Hardcover by Bultan, ...
String Analysis for Software Verification and Security, Hardcover by Bultan, ...

$113.18

View Details
Universal Algebra, Algebraic Logic, and Databases by B. Plotkin (English) Hardco
Universal Algebra, Algebraic Logic, and Databases by B. Plotkin (English) Hardco

$125.62

View Details
Applied Abstract Algebra with Mapletm and Matlab by Richard Klima: Used
Applied Abstract Algebra with Mapletm and Matlab by Richard Klima: Used

$125.73

View Details
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Pres,
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Pres,

$82.99

View Details
Software Abstractions by Daniel Jackson
Software Abstractions by Daniel Jackson

$22.95

View Details

© 2008-2024 abstraction-in-software-engineering (https://www.careoy.com/). All Rights Reserved.