formal-techniques-in-software-engineering
You May Like
Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East Euro
$67.91
View Details
Formal Techniques for Networked and Distributed Systems - Forte 2002 : 22nd I...
$64.43
View Details
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG
$66.79
View Details
Model-Driven Engineering of Information Systems: Principles, Techniques, and Pra
$149.03
View Details
Software Engineering 1 : Abstraction and Modelling, Paperback by Bjørner, Din...
$113.96
View Details
Accelerated Windows Debugging 4D: Training Course Transcript and WinDbg Practice
$118.17
View Details
Formal Techniques for Networked and Distributed Systems: FORTE 2001 by Byoungmoo
$242.41
View Details
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG
$93.34
View Details
Formal Specification Techniques for Engineering Modular C Programs, Hardcover...
$174.49
View Details
Rapid Integration of Software Engineering Techniques: Third International Worksh
$66.98
View Details
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International...
$66.16
View Details
Requirements Engineering for Software and Systems by Phillip A. Laplante Paperba
$74.47
View Details
Rapid Integration of Software Engineering Techniques : Second International W...
$66.40
View Details
Rapid Integration of Software Engineering Techniques: Second International Works
$67.23
View Details
Formal Techniques for Distributed Objects, Components, and Systems : 41st IFI...
$65.97
View Details
Modelling Systems: Practical Tools and Techniques in Software Development by Joh
$81.14
View Details
Formal Techniques for Networked and Distributed Systems FORTE 2008: 28th IFIP WG
$73.49
View Details
Software Engineering 1: Abstraction and Modelling by Dines Bj?rner (English) Har
$140.62
View Details
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSO
$140.62
View Details
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Adva
$243.65
View Details
Formal and Practical Techniques for the Complex System Design Process using Virt
$148.87
View Details
Foundations of Linux Debugging, Disassembling, and Reversing: Analyze Binary Cod
$46.76
View Details
Composing Model-based Analysis Tools, Hardcover by Heinrich, Robert (EDT); Du...
$168.19
View Details
Complete Guide to Test Automation : Techniques, Practices, and Patterns for B...
$48.91
View Details
Quantum Software Engineering, Hardcover by Serrano, Manuel A. (EDT); Pérez-ca...
$123.30
View Details
Formal Techniques for Distributed Objects, Components, and Systems : 42nd IFI...
$92.19
View Details
Quantum Software Engineering, Hardcover by Serrano, Manuel A. (EDT); Pérez-ca...
$126.51
View Details
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Adva
$243.88
View Details
Formal Techniques for Safety-critical Systems : 4th International Workshop, F...
$74.08
View Details
Formal Specification Techniques for Engineering Modular C Programs, Paperback...
$186.58
View Details
Quantum Software Engineering, Paperback by Serrano, Manuel A. (EDT); Pérez-ca...
$123.67
View Details
Veracity of Big Data : Machine Learning and Other Approaches to Verifying Tru...
$22.45
View Details
Component-Based Software Quality: Methods and Techniques by Alejandra Cechich (E
$68.46
View Details
Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapor
$73.56
View Details
Engineering Multi-agent Systems : Third International Workshop, Emas 2015, Is...
$72.66
View Details
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on th
$125.37
View Details
Engineering Multi-Agent Systems: Third International Workshop, EMAS 2015, Istanb
$73.56
View Details
Risk Analysis in Engineering: Techniques, Tools, and Trends by Mohammad Modarres
$177.36
View Details
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS
$76.73
View Details
Complete Guide to Test Automation: Techniques, Practices, and Patterns for Build
$56.00
View Details
Categories for Software Engineering by Jose Luiz Fiadeiro (English) Hardcover Bo
$66.98
View Details
Formal Specification Techniques for Engineering Modular C Programs by Tan Yang M
$188.89
View Details
Computer Aided Verification: Techniques and Applications by Jordan Dean Hardcove
$140.06
View Details
Compiler Construction: 24th International Conference, CC 2015, Held as Part of t
$73.62
View Details
Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Impro
$137.76
View Details
Formal Specification Techniques for Engineering Modular C Programs by Tan Yang M
$189.69
View Details
Leveraging Applications of Formal Methods, Verification and Validation : Foun...
$127.88
View Details
Computer Aided Verification : 34th International Conference, Cav 2022, Haifa,...
$61.17
View Details
Computer Aided Verification : 34th International Conference, Cav 2022, Haifa,...
$61.91
View Details
Foundations of ARM64 Linux Debugging, Disassembling, and Reversing: Analyze Code
$46.76
View Details
Requirements Engineering for Software and Systems by Phillip A. Laplante Hardcov
$208.42
View Details
Systems and Software Verification : Model-Checking Techniques and Tools, Pape...
$176.10
View Details
Machine Learning Empowered Intelligent Data Center Networking: Evolution, Challe
$66.61
View Details
Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 Internationa
$66.61
View Details
Composing Model-Based Analysis Tools by Robert Heinrich (English) Paperback Book
$124.14
View Details
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Isr
$61.92
View Details
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, Ap
$77.66
View Details
The Programming and Proof System ATES: Advanced Techniques Integration into Effi
$125.37
View Details
Algebraic Methods II: Theory, Tools and Applications: Theory, Tools, and Applica
$68.46
View Details
Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Isr
$67.96
View Details
Model-Driven Engineering of Information Systems : Principles, Techniques, and...
$211.73
View Details
Regulated Open Multi-Agent Systems (ROMAS): A Multi-Agent Approach for Designing
$129.13
View Details
Composing Model-Based Analysis Tools by Heinrich, Robert, Like New Used, Free...
$120.40
View Details
Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber
$178.27
View Details
Recent Trends in Algebraic Development Techniques : 12th International Worksh...
$67.62
View Details
Recent Trends in Algebraic Development Techniques : 25th International Worksh...
$65.97
View Details
FEM and Micromechatronics with ATILA Software by Kenji Uchino (English) Paperbac
$89.09
View Details
Phillip A. Laplante Mohama Requirements Engineering for Software and (Paperback)
$120.55
View Details
Risk Analysis In Engineering : Techniques, Tools, And Trends, Hardcover by Mo...
$167.20
View Details
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of C
$126.85
View Details
Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber
$179.08
View Details
Regulated Open Multi-Agent Systems (ROMAS): A Multi-Agent Approach for Designing
$131.95
View Details
Risks and Security of Internet and Systems: 11th International Conference, CRiSI
$66.79
View Details
Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded
$125.99
View Details
Microservices: Science and Engineering by Antonio Bucchiarone (English) Hardcove
$189.08
View Details
Phillip A. Laplante Requirements Engineering for Softwa (Paperback) (UK IMPORT)
$158.38
View Details
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International...
$66.97
View Details
Rapid Integration of Software Engineering Techniques : Second International W...
$67.22
View Details
Software Engineering 1 : Abstraction and Modelling, Paperback by Bjørner, Din...
$113.97
View Details
Quantum Software Engineering, Paperback by Serrano, Manuel A. (EDT); Pérez-ca...
$123.66
View Details
Formal Techniques for Networked and Distributed Systems - Forte 2002 : 22nd I...
$67.59
View Details