Specification transformers: a predicate transformer approach to composition.
- Published in:
- Acta Informatica, 2004, v. 40, n. 4, p. 265, doi. 10.1007/s00236-003-0130-y
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2004 AND VI 40 AND IP 4
Results: 3
1
2
A bi-criterion single-machine scheduling problem with learning considerations.
- Published in:
- Acta Informatica, 2004, v. 40, n. 4, p. 303, doi. 10.1007/s00236-003-0132-9
- By:
- Publication type:
- Article
3
Program reversals for evolutions with non-uniform step costs.
- Published in:
- Acta Informatica, 2004, v. 40, n. 4, p. 235, doi. 10.1007/s00236-003-0131-x
- By:
- Publication type:
- Article