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: Michael G. Hinchey
29 träffar
|
Titel |
Författare |
År |
Språk |
| 21 |
Industrial-Strength Formal Methods in Practice
|
|
1999 |
Okänt |
| 22 |
High-Integrity System Specification and Design
|
Jonathan P. Bowen
|
1999 |
Okänt |
| 23 |
Formal Methods and Software Engineering
|
Michael Butler
|
2007 |
Okänt |
| 24 |
Formal Approaches to Agent-Based Systems
|
Michael G. Hinchey
|
uuuu-uuuu |
Okänt |
| 25 |
Formal Approaches to Agent-based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers (Lecture notes in computer science, 3228)
|
Michael G. Hinchey
|
2005 |
Okänt |
| 26 |
Innovative Concepts for Autonomic and Agent-Based Systems
|
Michael G. Hinchey
|
2006 |
Okänt |
| 27 |
A mutation-based framework for automated testing of timeliness
|
Robert Nilsson
|
2006 |
Engelska |
| 28 |
ZUM '95: The Z Formal Specification Notation - 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
|
|
1995 |
Engelska |
| 29 |
Zum'98 : the z formal specification notation. - 11th international conference of z users, berlin, germany, september 24-26, 1998 : proceedings
|
International Conference of Z Users
|
1998 |
Engelska |
Förra sidan
1
2
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.