Automated Technology for Verification and Analysis
By: Material type:
TextLanguage: English Publication details: Springer; Springer; 2020ISBN: - 9783030591526
eBooks
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
eBooks
|
Central Library | Central Library | Available | CL1761380 |
There are no comments on this title.
Log in to your account to post a comment.
-
21601
Equity in the Civil Law Tradition
by Renato Beneduzi -
21602
Equity of Roman law
by Buckland W.W. -
21603
Equity Today
by Ben McFarlane and Steven Elliott KC -
21604
Equity Trusts and Specific Relief
by Ahmad Aqil -
21605
Equity with Trusts & Specific Relief
by Ahmad Aqil -
21606
Equity with Trusts & Specific Relief
by Ahmad Aqil -
21607
Equity, trust, specific relief, fiduciary relation and mortgage
by Singh G.P. Au. -
21608
Equity, trust, specific relief, fiduciary relation and mortgage
by Singh G.P. Au. -
21609
Equity, trust, specific relief, fiduciary relation and mortgage
by Singh G.P. Au. -
21610
Equity, trusts, mortgages, fiduciary relations & specific relief
by Ahmad Aquil -
21611
Equity,trust,fiduciary relations mortgages and specific relief
by Singh G.P. Au. -
21612
Equity,Trusts, Mortgages and Specific Relief
by Ahmad Aqil -
21613
Equity,Trusts, Mortgages and Specific Relief
by Ahmad Aqil -
21614
Equity,Trusts, Mortgages and Specific Relief
by Ahmad Aqil -
21615
Equity,Trusts, Mortgages and Specific Relief
by Ahmad Aqil -
21616
Equity,Trusts, Mortgages and Specific Relief
by Ahmad Aqil -
21617
Equity,Trusts,Mortgages,Fiduciary Relations and Specific Relief
by Ahmad Aqil -
21618
Equivalence and Substituted Compliance in Financial Markets Law
by Schürger -
21619
Erich von dem bach edited by Wanda Machlejd
by Batoszewski Waladyslaw -
21620
ERISA Principles
by Wiedenbeck/Maher -
21621
Erotic Coleridge
by Taylor Anya -
21622
Erotic justice
by Kapoor Ratna -
21623
Erotic justice
by Kapur Ratna -
21624
Erotic Justice : Law and the new politics of post -colonialisl
by Kapur, Ratna -
21625
Erotic Justice: Law and the New Politics of Postcolonialism
by Kapur, Ratna -
21626
Error of jurisdiction in administrative law
by Agarwal Piyush -
21627
Essay concerning toleration and other writings on law and politics 1667-1683.
by Locke John -
21628
Essay in classical and modern hindu law
by Derrett J.D. Au. -
21629
Essaya on international law
by Nawaz M.K. -
21630
Essays and execurions in law
by Russell F.A. Au. -
21631
Essays in African law
by Allott Antony -
21632
Essays in air law
by Kean A. Ed. -
21633
Essays in Anglo-Sacon law
by Eliot Charles William -
21634
Essays in Anglo-Saxon law
-
21635
Essays in classical and modern Hindu law
by Derrett J Duncan M -
21636
Essays in classical and modern Hindu law
by Derrett J Duncan M -
21637
Essays in classical and modern hindu law
by Derrett J. Duncan M. -
21638
Essays in classical and modern hindu law
by Duncan J. Au. -
21639
Essays in classical and modern hindu law
by Derrett J.D.M. Au. -
21640
Essays in classical and modern hindu law
by Derrett J.D.M. Au. -
21641
Essays in classical and modern hindu law
by Duncan J Au. -
21642
Essays in classical and modern hindu law
by Derrett J. Duncan M. -
21643
Essays in classical and modern Hindu law
by Derrett J Duncan M -
21644
Essays in classical and modern Hindu law. V 1
by Derrett J Duncan M -
21645
Essays in classical and modern Hindu law. V 1
by Derrett J Duncan M -
21646
Essays in classical and modern Hindu law. V 1
by Derrett J Duncan M -
21647
Essays in classical and modern Hindu law. V 1
by Derrett J Duncan M -
21648
Essays in classical and modern hindu law.2V
by Derrett J Duncan M -
21649
Essays in classical and modern hindu law.2V
by Derrett J Duncan M -
21650
Essays in classicial and modern hindou law
by Derrett J. Duncan M.
Automated Technology for Verification and Analysis
APA
Dang Van Hung O. S., .Automated Technology for Verification and Analysis. : Springer.
Chicago
Dang Van Hung Oleg Sokolsky, .Automated Technology for Verification and Analysis. : Springer.
Harvard
Dang Van Hung O. S., .Automated Technology for Verification and Analysis. : Springer.
MLA
Dang Van Hung Oleg Sokolsky, .: Springer. .
