-
Foundations of software science and computation structures : 5th International Conference, FOSSACS 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002 : proceedingsFoundations of Software Science and Computation Structures (FOSSACS) 2002 (5 ; 2002 ; Grenoble)This book constitutes the refereed proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2002, held in Grenoble, France, in April ... 2002.The 28 revised full papers presented together with an extended abstract of an invited paper were carefully reviewed and selected from a total of 67 submissions. Among the topics addressed are algebraic, categorical, logical, and geometric theories, models and methods which support the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed, and mobile programs and software systems.Type of material - proceedings of conference contributions ; adult, seriousPublication and manufacture - Berlin ; Heidelberg : Springer, cop. 2002Language - englishISBN - 978-3-540-43366-8; 978-3-540-45931-6COBISS.SI-ID - 17119833
Author
Foundations of Software Science and Computation Structures (FOSSACS) 2002
Other authors
Nielsen, Mogens
Collection
Lecture notes in computer science
Topics
computer science |
computational structures |
formal methods |
formal verification |
logical foundations |
mathematical foundations |
model checking |
program analysis |
program logics |
programming theory |
structured analysis |
verification |
software engineering |
software science |
software technology
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Nielsen, Mogens |
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.