Kniha momentálne nie je na sklade
BCS FACS Northern Formal Methods Workshop
Autori
Parametre
Viac o knihe
The main aim of the BCS-FACS Northern Formal Methods Workshop, held in Ilkley, UK, 23-24 September 1996, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-time and object-oriented systems. The full papers from the BCS-FACS Northern Formal Methods Workshop are available online at: http://ewic. springer. co. uk/ This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time).
Nákup knihy
BCS FACS Northern Formal Methods Workshop, David J. Duke
- Jazyk
- Rok vydania
- 1997
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- BCS FACS Northern Formal Methods Workshop
- Jazyk
- anglicky
- Autori
- David J. Duke
- Vydavateľ
- Springer
- Rok vydania
- 1997
- ISBN10
- 3540761179
- ISBN13
- 9783540761174
- Séria
- Electronic Workshops in Computing
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- The main aim of the BCS-FACS Northern Formal Methods Workshop, held in Ilkley, UK, 23-24 September 1996, was to provide an informal atmosphere for the exchange of ideas in order to contribute to fundamental research in the use of formal methods for the development of concurrent, real-time and object-oriented systems. The full papers from the BCS-FACS Northern Formal Methods Workshop are available online at: http://ewic. springer. co. uk/ This booklet provides the passwords needed to access the web site. Purchasing the booklet provides the user with unlimited access to the site for four years (subject, of course, to entry of the correct passwords each time).