Formal Methods

By:

Marieke Huisman, Corina P?s?reanu, Naijun Zhan

Material type:

TextLanguage: English Publication details: Springer; Springer; 2021ISBN:

9783030908706

Other classification:

Online resources:

Click here to access online

Item type:

eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
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			CL1770384

There are no comments on this title.

to post a comment.

Back to results

12301 Surfactant science and technology
by Myers Drew
12302 Surfactant science and technology
by Myers Drew
12303 Surfactant science and technology
by Myers Drew
12304 Surfactants and polymers in aqueous solution
by Jonsson Bo
12305 Surficial geology building with the earth
by Costa J E
12306 Surficial geology building with the earth
by Costa J E
12307 Survey errors and survey costs
by Groves Robert M
12308 Survey methods for ecosystem management
by Myers Vayne L
12309 Survey research
by Backstrom Charles H
12310 Survey sampling
by Kish Leslie
12311 Survey Sampling
by Kish, Leslie
12312 Survey Sampling
by Kish Leslie
12313 Surveying victims
by Sparks R.F. Au.
12314 Survival analysis
by Miller Rupert G
12315 Survival analysis:a practical approach
by Machin David
12316 Survival distributions
by Gross A J
12317 Survival distributions
by Gross A J
12318 Survival distributions: Realiability application in the biomedical sciences
by Gross A J
12319 Survival distributions: Realiability application in the biomedical sciences
by Gross A J
12320 Survival models and data analysis
by Elandt - Johnson R C
12321 Survival models and data analysis
by Elandt - Johnson R C
12322 Survival probabilitios
by Sead Hilary L
12323 Survival probabilitios
by Sead Hilary L
12324 Survival strategies for American industry
by Kantrow Alan M Ed.
12325 Sustainable business
by JEANRENAUD Sally
12326 Sustainable infrastructure
by SARTE S Bry
12327 Sustainable inorganic chemistry
by Atwood David A Ed.
12328 Sustainable solutions for water resources
by SIPES James L.
12329 Sustained attention in human performance
by Warm Joel S Ed.
12330 Swaps/Financial derivatives
by Das Satyajit
12331 Swaps/Financial derivatives
by Das Satyajit
12332 Swaps/Financial derivatives
by Das Satyajit
12333 Swaps/Financial derivatives
by Das Satyajit
12334 Swing and day trading
by BULKOWSKI Thomas N
12335 Switch/router architectures: Shared-bus and shared-memory based systems
by Aweya James
12336 Symbolic data analysis and the SODAS software
by Diday Edwin Ed.
12337 Symmetry and structure : readable group theory for chemists
by Kettle Sidney F A
12338 Symmetry and structure : readable group theory for chemists
by Kettle Sidney F A
12339 Symmetry and structure: readable group theory for chemists
by Kettle Sidney F A
12340 Symmetry and structure: readable group theory for chemists
by Kettle Sidney F A
12341 Symmetry and structure: readable group theory for chemists by Sidney F A Kettle
by Kettle Sidney F A
12342 Symmetry and structure:readable group theory for chemists
by Kettle Sidney F A
12343 Symmetry and structure:readable group theory for chemists
by Kettle Sidney F A
12344 Symmetry and structure:readable group theory for chemists
by Kettle Sidney F A
12345 Symmetry principle in solid state and molecular physics
by Lax Melvin
12346 Symptotic theory of statistical inference
by Prakasa Rao B L S
12347 Synder & chamness molecular genetics of bacteria
by Henkin Tina M.; Peters Joseph E.
12348 Synopsis of gynecologic oncology
by Disaia Philip J
12349 Synthesis and organisation in the bacterial cell
by Gale E F
12350 Synthesis of macrocycles: The design of selective complexing agents.
by Izatt Reed M Ed.