Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
28
views
0
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,398
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
TAPSOFT '95: Theory and Practice of Software Development
other
Editor(s):
Peter D. Mosses
,
Mogens Nielsen
,
Michael I. Schwartzbach
Publication date
(Print):
1995
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Genomic Prediction: Software
Author and book information
Book
ISBN (Print):
978-3-540-59293-8
ISBN (Electronic):
978-3-540-49233-7
Publication date (Print):
1995
DOI:
10.1007/3-540-59293-8
SO-VID:
797f2e73-7be5-463b-a9f4-31ba8cb02d99
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 123
First-order logic on finite trees
pp. 546
Calculating software generators from solution specifications
pp. 82
Testing can be formal, too
pp. 364
Polynomial algorithms for the synthesis of bounded nets
pp. 516
Generic techniques for source-level debugging and dynamic program slicing
Similar content
4,398
Orden Circular 6/01 para la modificación de la Orden Circular 321/95 Tecnología y Proyectos: En lo referente a barreras de seguridad metálicas para su empleo en carreteras de calzada única
Authors:
Automated Neuropsychological Assessment Metrics (ANAM): Test administrator’s guide version 3.11 (report no. NCRF-95-01)
Authors:
Real Decreto 95/2022, de 1 de febrero, por el que se establece la ordenación y las enseñanzas mínimas de la Educación Infantil
Authors:
See all similar
Cited by
3
Hardness Results for the Synthesis of \(b\)-bounded Petri Nets (Technical Report)
Authors:
Ronny Tredup
Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
Authors:
Jelle Herold
,
Fabrizio Romano Genovese
The Essence of Petri Net Gluings
Authors:
Fabrizio Romano Genovese
See all cited by