Sök böcker
Här kan du söka dig fram till bra böcker. Klicka sen på en bok för
att läsa mer om den!
Sökning efter: Jonathan P Bowen
37 träffar
|
Titel |
Författare |
År |
Språk |
| 1 |
Applications of formal methods
|
|
cop. 1995 |
Engelska |
| 2 |
Formal Methods: State of the Art and New Directions
|
Paul. Boca
|
2010 |
Engelska |
| 3 |
Electronic Visualisation in Arts and Culture
|
Jonathan P. Bowen
|
2013 |
Engelska |
| 4-5 |
Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
(flera utgåvor)
|
Jonathan P. Bowen
|
uuuu-uuuu |
Okänt |
| 6 |
Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
|
Jonathan P. Bowen
|
2025 |
Engelska |
| 7 |
High-integrity system specification and design
|
Jonathan P. Bowen
|
cop. 1999 |
Engelska |
| 8 |
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
|
Jonathan P. Bowen
|
2023 |
Engelska |
| 9 |
Theories of Programming and Formal Methods electronic resource : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday / edited by Jonathan P. Bowen, Qin Li, Qiwen Xu
|
Jonathan P. Bowen
|
uuuu-uuuu |
Okänt |
| 10 |
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
|
Jonathan P. Bowen
|
2023 |
Engelska |
| 11 |
"ZUM `95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995, Proceedings. Vol. XI"
|
Jonathan P Bowen
|
1995 |
Okänt |
| 12 |
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
|
Egon Börger
|
2008 |
Okänt |
| 13 |
Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
|
|
2017 |
Engelska |
| 14 |
Engineering Trustworthy Software Systems
|
|
2017 |
Okänt |
| 15-16 |
Formal specification and development in Z and B - ZB 2000 : First International Conference of B and Z Users, York, UK, August 29-September 2, 2000. : proceedings
(flera utgåvor)
|
International Conference of B and Z Users 2000 : York)
|
cop. 2000 |
Engelska |
| 17 |
Arts and Computational Culture : Real and Virtual Worlds
|
Tula. Giannini
|
2024 |
Engelska |
| 18 |
Formal Methods and Testing - An Outcome of the FORTEST Network, Revised Selected Papers
|
Robert M. Hierons
|
2008 |
Engelska |
| 19 |
Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 20 |
Industrial-Strength Formal Methods in Practice
|
|
1999 |
Okänt |
1
2
Nästa sida
Sökningen görs direkt i Kungl. bibliotekets
söktjänst libris. Libris katalog innehåller
närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken
samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en
tjänst som Boktraven vara möjlig.