skip to content
TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings Preview this item
ClosePreview this item
Checking...

TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings

Author: Peter Mosses; M Nielsen; Michael I Schwartzbach
Publisher: Berlin ; New York : Springer-Verlag, ©1995.
Series: Lecture notes in computer science, 915.
Edition/Format:   Book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Theoretical computer scientists and software engineers (researchers and practitioners) discuss how formal methods can usefully be applied in software development. These proceedings of the TAPSOFT '95  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Peter Mosses; M Nielsen; Michael I Schwartzbach
ISBN: 3540592938 9783540592938 0387592938 9780387592930
OCLC Number: 32391827
Description: xv, 810 p. : ill. ; 24 cm.
Contents: A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development / H. Ehrig and B. Mahr --
Theory and Practice of Software Development --
Stages in a Debate / C. Floyd --
Rational Spaces and Set Constraints / D. Kozen --
Formal Methods and Social Context in Software Development / J.A. Goguen and Luqi --
Testing Can Be Formal, Too / M.-C. Gaudel --
Anatomy of the Pentium Bug / V. Pratt --
Rational Mechanics and Natural Mathematics / V. Pratt --
First-Order Logic on Finite Trees / A. Potthoff --
Decidability of Equivalence for Deterministic Synchronized Tree Automata / K. Salomaa --
The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable / Y. Andre and F. Bossut --
[pi]I: A Symmetric Calculus based on Internal Mobility / D. Sangiorgi --
Complete Inference Systems for Weak Bisimulation Equivalences in the [pi]-Calculus / H. Lin --
Reasoning about Higher-Order Processes / R.M. Amadio and M. Dam.
Series Title: Lecture notes in computer science, 915.
Other Titles: Theory and practice of software development
Responsibility: Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/32391827>
library:oclcnum"32391827"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/32391827>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"1995"
schema:creator
schema:datePublished"1995"
schema:description"A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development / H. Ehrig and B. Mahr -- Theory and Practice of Software Development -- Stages in a Debate / C. Floyd -- Rational Spaces and Set Constraints / D. Kozen -- Formal Methods and Social Context in Software Development / J.A. Goguen and Luqi -- Testing Can Be Formal, Too / M.-C. Gaudel -- Anatomy of the Pentium Bug / V. Pratt -- Rational Mechanics and Natural Mathematics / V. Pratt -- First-Order Logic on Finite Trees / A. Potthoff -- Decidability of Equivalence for Deterministic Synchronized Tree Automata / K. Salomaa -- The Equivalence Problem for Letter-to-Letter Bottom-up Tree Transducers is Solvable / Y. Andre and F. Bossut -- [pi]I: A Symmetric Calculus based on Internal Mobility / D. Sangiorgi -- Complete Inference Systems for Weak Bisimulation Equivalences in the [pi]-Calculus / H. Lin -- Reasoning about Higher-Order Processes / R.M. Amadio and M. Dam."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/1104429989>
schema:genre"Conference proceedings."@en
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:name"Theory and practice of software development"@en
schema:name"TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings"@en
schema:numberOfPages"810"
schema:publisher
schema:url
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/943930553>

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.