Tools and Algorithms for the Construction and Analysis of SystemsKurt Jensen

Tools and Algorithms for the Construction and Analysis of Systems

Kurt Jensen, Andreas Podelski · 2004

איפה לקנות

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

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

פרטי הספר

שנה: 2004
שפה: English
הוצאה: Springer London, Limited
מהדורות: 1
עמודים: 614
ISBN: 9783540247302

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

עוד של Kurt Jensen

The empress of azharKurt Jensen

The empress of azhar

Kurt Jensen · 2016

Coloured Petri NetsKurt Jensen

Coloured Petri Nets

Kurt Jensen · 2009

Battle of Visby 1361 and Its Contemporary HeritageKurt Jensen

Battle of Visby 1361 and Its Contemporary Heritage

Kurt Jensen · 2025

PeerlessKurt Jensen

Kurt Jensen · 2024

Special EggsKurt Jensen

Kurt Jensen · 2022

Heterogeneous CatalystsKurt Jensen

Heterogeneous Catalysts

Kurt Jensen · 2016

Actual Alien Abduction AccountsKurt Jensen

Actual Alien Abduction Accounts

Kurt Jensen · 2015

Transactions on Petri Nets and Other Models of Concurrency VIIKurt Jensen

Transactions on Petri Nets and Other Models of Concurrency VII

Kurt Jensen · 2013

Transactions on Petri Nets and Other Models of Concurrency IKurt Jensen

Transactions on Petri Nets and Other Models of Concurrency I

Kurt Jensen · 2008

Shocking Spree KillersKurt Jensen

Shocking Spree Killers

Kurt Jensen · 2015