Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 3 of 3 |
Sort by
|
Book
FORTE' 91 : fourth international conference on formal description techniques, 19-22 November 1991, Sydney : tutorials
Loading...
Authors:
Parker, Ken
---
Rose, Gordon A.
---
IFIP TC/WG 6.1 international conference on formal design techniques.
Year: 1991 Publisher: [S l.] : [s. n.],
Year: 1991 Publisher: [S l.] : [s. n.],
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Formal description techniques, IV : proceedings of the IFIP TC6/WG6.1 fourth international conference on formal description techniques for distributed systems and communications protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
Loading...
Authors:
Parker, Ken
---
Rose, Gordon A.
---
IFIP TC/WG 6.1 international conference on formal design techniques.
ISBN: 0444894020 Year: 1992 Publisher: Amsterdam : North-Holland,
ISBN: 0444894020 Year: 1992 Publisher: Amsterdam : North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
FORTE' 91 : fourth international conference on formal description techniques, 19-22 November, 1991, Sydney : proceedings
Loading...
Authors:
Parker, Ken
---
Rose, Gordon A.
---
IFIP TC/WG 6.1 international conference on formal design techniques.
Year: 1991 Publisher: [S. l.], : [s. n.],
Year: 1991 Publisher: [S. l.], : [s. n.],
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
| Listing 1 - 3 of 3 |
Sort by
|