Your browser does not support JavaScript and this application utilizes JavaScript to build content and provide links to additional information. You should either enable JavaScript in your browser settings or use a browser that supports JavaScript in order to take full advantage of this application.
Skip navigation
Library Catalogue
User ID:
PIN:
Reset PIN
Navigation Menu
Contextual Navigation Menu
Go Back
New Search
Advanced Search
Change Display
Kept records
Permalink
Logout
record 1 of 1 for search
"9783031274817"
Change Display
Item Details
Find more by this author
Find more on these topics
Nearby items on shelf
Item Information
Electronic Contents
Catalog Record
Bibliographic Information
Title
Formal methods [electronic resource] 1st ed..
Author
Chechik, Marsha
Publisher:
Springer International Publishing AG,
Pub date:
[2023].
Pages:
1 online resource (xv, 659 pages :
ISBN:
9783031274817
Item info:
1 copy currently available at Tun Hussein Onn Sunway Library.
9783031274817
Holdings
Tun Hussein Onn Sunway Library
Copy No.
Location
QA76.9.F67 F72 2023EB
1
Internet Access (nocirc)
Enriched Content
Formal methods [electronic resource]
1st ed..
Chechik, Marsha
data is
5
% loaded
Quick Links
MARC Record
Formal methods [electronic resource]
1st ed..
Chechik, Marsha
Fixed field data:
231227s2023 sz a s 000|0 eng d
ISBN:
9783031274817 (e-book)
ISBN:
9783031274800 (pbk.)
Cataloging Source:
nmf rda
Local LC call number:
QA76.9.F67 F72 2023eb
Personal Author:
Chechik, Marsha
Title:
Formal methods [electronic resource] / Marsha Chechik, Joost-Pieter Katoen, Martin Leucker, editors.
Edition:
1st ed..
Publication & Copy.:
Cham : Springer International Publishing AG, [2023].
Publication & Copy.:
©2023.
Physical description:
1 online resource (xv, 659 pages : illustrations)
336:
text txt rdacontent
337:
computer c rdamedia
338:
online resource cr rdacarrier
General Note:
25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings --- title page.
Subject term:
Formal methods (Computer science).
Added Entry-Personal Name:
Katoen, Joost-Pieter
Added Entry-Personal Name:
Leucker, Martin
HTTP:
Click here to access the e-book.
Continue search in
Google
Library Info
Library Homepage
A-Z Databases
New Titles
Search All
A-Z List of E-Journals
Reading List
Contextual Navigation Menu
Go Back
New Search
Advanced Search
Change Display
Kept records
Permalink
Logout
Online Scholars' Portal
Copyright © 2000 - 2008, SirsiDynix
Top