Automated Technology for Verification and AnalysisAhmed Bouajjani

Automated Technology for Verification and Analysis

Ahmed Bouajjani · 2010

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2010
שפה: English
סדרה: Lecture Notes in Computer Science -- 6252
הוצאה: Springer-Verlag Heidelberg
מהדורות: 2
ISBN: 9783642156427

מקור הנתונים: Wikidata

עוד של Ahmed Bouajjani

Networked SystemsAhmed Bouajjani

Networked Systems

Ahmed Bouajjani · 2016

Verification, Model Checking, and Abstract InterpretationAhmed Bouajjani

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani · 2017

Formal Techniques for Disributed Objects, Components, and SystemsAhmed Bouajjani

Formal Techniques for Disributed Objects, Components, and Systems

Ahmed Bouajjani · 2017

Computer Aided VerificationAhmed Bouajjani

Computer Aided Verification

Ahmed Bouajjani · 2009