Leveraging Applications of Formal Methods, Verification and Validation. Practice
By: Material type:
TextLanguage: English Publication details: Springer; Springer; 2022ISBN: - 9783031197628
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 | CL1777972 |
There are no comments on this title.
Log in to your account to post a comment.
-
1551
The American Disease Origins of Narcotic Control
by Musto -
1552
American Domesticity From How-to Manual to Hollywood Melodrama
by McHugh -
1553
American Dream and Public Schools
by Hochschild, Scovronick -
1554
The American Dream: A Short History of an Idea that Shaped a Nation
by Cullen -
1555
American Enchantment
by Sizemore -
1556
American English
by Marckwardt Albert H -
1557
American Exceptionalism in Crime and Punishment
by Reitz -
1558
American Experimental Poetry and Democratic Thought
by Marshall -
1559
American Foreign Environmental Policy and the Power of the State
by Hopgood -
1560
American Generosity
by Herzog, Price -
1561
American Genesis
by Moran -
1562
American Geography and Geographers
by Martin -
1563
American Global Pre-Eminence
by Thompson -
1564
American Gnosis
by Versluis -
1565
American Gurus
by Versluis -
1566
American Guy
by Levmore, Nussbaum -
1567
American Holocaust: Columbus and the Conquest of the New World
by Stannard -
1568
The American House Poem, 1945-2021
by Hunter -
1569
The American Ideal
by Carafiol -
1570
American Indian Ethnic Renewal: Red Power and the Resurgence of Identity and Culture
by Nagel -
1571
The American Indian in Western Legal Thought: The Discourses of Conquest
by Williams -
1572
American Indian Languages: The Historical Linguistics of Native America
by Campbell -
1573
The American Judicial System: A Very Short Introduction
by Charles L. Zelden -
1574
American Juvenile Justice
by Zimring -
1575
American Law
by Friedman, Hayden -
1576
American Law in a Global Context
by Fletcher -
1577
American Law Institute
by Gold & Gordon -
1578
American Lawyers
by Abel -
1579
American Lazarus
by Brooks -
1580
American Legal History: A Very Short Introduction
by White -
1581
The American Legal Profession in Crisis
by Moliterno -
1582
American Legal Realism
by Fisher -
1583
American Legal Thought from Premodernism to Postmodernism: An Intellectual Voyage
by Feldman -
1584
The American Lie: Government by the People and Other Political Fables
by Ginsberg -
1585
American Linguistics in Transition
by Newmeyer -
1586
The American Literary History Reader
by Hutner -
1587
American lyceum : Town meeting of the mind
by Bode Carl -
1588
American lyceum : Town meeting of the mind
by Bode Carl -
1589
American Madonna: Images of the Divine Woman in Literary Culture
by Gatta -
1590
American Medical Schools and the Practice of Medicine
by Rothstein -
1591
American Methodist Worship
by Tucker -
1592
American Mobbing, 1828-1861 Toward Civil War
by Grimsted -
1593
American modernism and depression documentary
by Allred, Jeff -
1594
American Modernism and Depression Documentary
by Allred -
1595
American Multinationals in Europe
by Almond, Ferner -
1596
American murder ballads and their stories
by Burt Olive Woollley Ed. -
1597
The American Nonvoter
by Ragsdale, Rusk -
1598
American occupation of Japan
by SCHALLER Michael -
1599
American Opinion on Trade
by Guisinger -
1600
American Original A Life of Will Rogers
by Robinson
Leveraging Applications of Formal Methods, Verification and Validation. Practice
APA
Tiziana Margaria B. S., .Leveraging Applications of Formal Methods, Verification and Validation. Practice. : Springer.
Chicago
Tiziana Margaria Bernhard Steffen, .Leveraging Applications of Formal Methods, Verification and Validation. Practice. : Springer.
Harvard
Tiziana Margaria B. S., .Leveraging Applications of Formal Methods, Verification and Validation. Practice. : Springer.
MLA
Tiziana Margaria Bernhard Steffen, .: Springer. .
