Coverart for item
The Resource Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʼ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings, Maurice Nivat (ed.), (electronic resource)

Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʼ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings, Maurice Nivat (ed.), (electronic resource)

Label
Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʼ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Title
Foundations of software science and computation structures
Title remainder
First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʼ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Statement of responsibility
Maurice Nivat (ed.)
Title variation
FoSSaCS '98
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory
Member of
Cataloging source
CUT
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.751
LC item number
.F67 1998eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1998
http://bibfra.me/vocab/lite/meetingName
FoSSaCS (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1998
http://library.link/vocab/relatedWorkOrContributorName
  • Nivat, M
  • LINK (Online service)
  • International Joint Conference on Theory and Practice of Software Development
Series statement
Lecture notes in computer science
Series volume
1378
http://library.link/vocab/subjectName
  • Computer software
  • System analysis
  • Computer software
  • System analysis
Label
Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʼ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings, Maurice Nivat (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/BFb0053537
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online bron
Carrier category code
  • cr
Carrier MARC source
rdacarrier/dut
Content category
tekst
Content type code
  • txt
Content type MARC source
rdacontent/dut
Dimensions
unknown
Extent
1 online resource (x, 287 p.)
Form of item
online
Isbn
9783540697206
Isbn Type
(electronic bk.)
Media category
computer
Media MARC source
rdamedia/dut
Media type code
  • c
Other physical details
ill.
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)213929896
  • (OCoLC)ocn213929896
Label
Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS ʼ98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings, Maurice Nivat (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/BFb0053537
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online bron
Carrier category code
  • cr
Carrier MARC source
rdacarrier/dut
Content category
tekst
Content type code
  • txt
Content type MARC source
rdacontent/dut
Dimensions
unknown
Extent
1 online resource (x, 287 p.)
Form of item
online
Isbn
9783540697206
Isbn Type
(electronic bk.)
Media category
computer
Media MARC source
rdamedia/dut
Media type code
  • c
Other physical details
ill.
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)213929896
  • (OCoLC)ocn213929896

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...