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. Bowen
46 träffar
|
Titel |
Författare |
År |
Språk |
| 21-22 |
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 |
| 23 |
Arts and Computational Culture : Real and Virtual Worlds
|
Tula. Giannini
|
2024 |
Engelska |
| 24 |
Formal Methods and Testing - An Outcome of the FORTEST Network, Revised Selected Papers
|
Robert M. Hierons
|
2008 |
Engelska |
| 25 |
Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
|
David. Hutchison
|
2008 |
Engelska |
| 26 |
Industrial-Strength Formal Methods in Practice
|
|
1999 |
Okänt |
| 27 |
High-Integrity System Specification and Design
|
Jonathan P. Bowen
|
1999 |
Okänt |
| 28 |
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 September 2, 2000 Proceedings
|
Jonathan P. Bowen
|
uuuu-uuuu |
Okänt |
| 29 |
ZUM '97: The Z Formal Specification Notation : 10th International Conference of Z Users Reading, UK, April 34, 1997 Proceedings
|
Jonathan P. Bowen
|
uuuu-uuuu |
Okänt |
| 30 |
Museums and Digital Culture - New Perspectives and Research
|
|
2019 |
Engelska |
| 31 |
Provably Correct Systems
|
|
2017 |
Engelska |
| 32 |
Provably Correct Systems
|
|
2017 |
Okänt |
| 33 |
Formal Methods and Testing
|
Robert M. Hierons
|
2008 |
Okänt |
| 34 |
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
|
|
2023 |
Okänt |
| 35 |
Towards verified systems
|
|
cop. 1994 |
Engelska |
| 36 |
The Turing guide
|
|
2017 |
Engelska |
| 37 |
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
|
|
2017 |
Engelska |
| 38 |
Unifying Theories of Programming
|
|
2017 |
Okänt |
| 39 |
ZUM '95 - the Z formal specification notation : proceedings
|
International Conference of Z Users 1995) Limerick :
|
cop. 1995 |
Engelska |
| 40 |
ZUM '95: The Z Formal Specification Notation - 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
|
|
1995 |
Engelska |
Förra sidan
1
2
3
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.