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: International SPIN Workshop 40 träffar

Titel Författare År Språk
1 Model Checking Software electronic resource : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings / edited by Susanne Graf, Laurent Mounier Spain) 2004 : (11th International SPIN Workshop Barcelona uuuu-uuuu Okänt
2 Model checking software : 14th international spin workshop, Berlin, Germany, July 1-3, 2007 : proceedings / Dragan Bošnački, Stefan Edelkamp (editors) Germany) 2007 : (14th International SPIN Workshop Berlin uuuu-uuuu Okänt
3 Model Checking Software electronic resource : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings / edited by Jaco van der Pol, Michael Weber Netherlands) 2010 Sept. 27-29 : (17th International SPIN Workshop Enschede uuuu-uuuu Okänt
4 Model Checking Software electronic resource : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings / edited by Corina S Pasareanu France) 2009 : (16th International SPIN Workshop Grenoble uuuu-uuuu Okänt
5 Model Checking Software electronic resource : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings / edited by Dragan Bosnacki, Stefan Leue France) International SPIN Workshop Grenoble uuuu-uuuu Okänt
6 Model Checking Software electronic resource : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings / edited by Klaus Havelund, Rupak Majumdar, Jens Palsberg Calif.) 2008 : (15th International SPIN Workshop Los Angeles uuuu-uuuu Okänt
7 Model Checking Software International SPIN Workshop 2008 Okänt
8 "Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings" International SPIN Workshop 2003 Okänt
9 "Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings" International SPIN Workshop 2004 Okänt
10 "Model checking software : 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006 : proceedings" International SPIN Workshop 2006 Okänt
11 "Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings" International SPIN Workshop 2007 Okänt
12 "Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings" International SPIN Workshop 2009 Okänt
13 "Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings" International SPIN Workshop 2012 Okänt
14 "Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings" International SPIN Workshop 2001 Okänt
15 Model Checking Software electronic resource : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings / edited by Alastair Donaldson, David Parker England) 2012 : (19th International SPIN Workshop Oxford uuuu-uuuu Okänt
16 Model Checking Software electronic resource : 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings / edited by Thomas Ball, Sriram K. Rajamani Or.) International SPIN Workshop Portland uuuu-uuuu Okänt
17 Model checking software : 12th International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.) Calif.) 2005 : (12th International SPIN Workshop San Francisco uuuu-uuuu Okänt
18 SPIN '17 : proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, CA, USA / edited by Hakan Erdogmus and Klaus Havelund sponsored by ACM SIGSOFT Calif.) 2017 : (24th International SPIN Workshop Santa Barbara uuuu-uuuu Okänt
19 Model Checking Software electronic resource : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings / edited by Alex Groce, Madanlal Musuvathi UT International SPIN Workshop Snowbird uuuu-uuuu Okänt
20 "SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings" International SPIN Workshop 2000 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.