Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

SYSTEMS & SOFTWARE VERIFICATION Model-Checking Techniques & Tools - NEW - 2001

Name: SYSTEMS & SOFTWARE VERIFICATION Model-Checking Techniques & Tools - NEW - 2001
SKU: 252398427798
Price: 47.62 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

47,62 €

Model-Checking Techniques and Tools by Berard, Bidoit, Finkel, Laroussinie, Petit, Petrucci, Schnoebelen.

Jetzt bei Ebay:

Zum Angebot *

Country/Region of Manufacture:

United States
Modified Item:

No
Product Type:

Textbook
ISBN:

9783540415237

Expedited shipping:

Canada Post Tracked Packet - International (Non-US) 61,26 EUR - Lieferung zwischen 04. July 2025 und 10. July 2025 (bei heutigem Zahlungseingang)
Standard Shipping:

Small Packets - International (Non-US) - Air 34,03 EUR - Lieferung zwischen 01. July 2025 und 23. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Brasilien , Katar , Saudi-Arabien , Marokko , Kuwait , Mazedonien , Ukraine , Russische Föderation , Belarus

SYSTEMS & SOFTWARE VERIFICATION Model-Checking Techniques & Tools - NEW - 2001

Systems and Software Verification: Model-Checking... by Schnoebelen, P. Hardback

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Technique

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification : Model-Checking Techniques and Tools, Hard...

Systems and Software Verification: Model-Checking Techniques and Tools by Berard

Modelling Systems: Practical Tools and Techniques in Software Development: New

Verification, Model Checking, and Abstract Interpretation: Third International W

Modelling Systems: Practical Tools and Techniques in Software Development by Joh

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, N

Numerical Software with Result Verification: International Dagstuhl Seminar, Dag

Interactive Systems. Design, Specification, and Verification: 15th International

Specification and Verification of Concurrent Systems by Charles Rattray (English

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000,

Modelling Systems: Practical Tools and Techniques in Software De

Lectures on Runtime Verification: Introductory and Advanced Topics by Ezio Barto

Formal Analysis and Verification of Safety Interlock Systems: Formal Specificati

System-on-a-Chip Verification : Methodology and Techniques Hardco

Modelling Systems: Practical Tools and Techniques in Software Development, Fitzg

Specification of Software Systems by V.S. Alagar (English) Hardcover Book

SYSTEMS & SOFTWARE VERIFICATION Model-Checking Techniques & Tools - NEW - 2001

Ähnliche Artikel

Systems and Software Verification: Model-Checking... by Schnoebelen, P. Hardback

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Technique

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification : Model-Checking Techniques and Tools, Hard...

Systems and Software Verification: Model-Checking Techniques and Tools by Berard

Modelling Systems: Practical Tools and Techniques in Software Development: New

Verification, Model Checking, and Abstract Interpretation: Third International W

Modelling Systems: Practical Tools and Techniques in Software Development by Joh

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, N

Numerical Software with Result Verification: International Dagstuhl Seminar, Dag

Interactive Systems. Design, Specification, and Verification: 15th International

Specification and Verification of Concurrent Systems by Charles Rattray (English

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000,

Modelling Systems: Practical Tools and Techniques in Software De

Lectures on Runtime Verification: Introductory and Advanced Topics by Ezio Barto

Formal Analysis and Verification of Safety Interlock Systems: Formal Specificati

System-on-a-Chip Verification : Methodology and Techniques Hardco

Modelling Systems: Practical Tools and Techniques in Software Development, Fitzg

Specification of Software Systems by V.S. Alagar (English) Hardcover Book

Cookie Hinweis