Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Condizione: very_good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in very good condition! The cover and any other included accessories are also in very good condition showing some minor use. The spine is straight, there are no rips tears or creases on the cover or the pages.
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. pp. 308.
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Majestic Books, Hounslow, Regno Unito
Condizione: New. pp. 308 Illus.
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: ALLBOOKS1, Parafield, SA, Australia
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Irish Booksellers, Portland, ME, U.S.A.
Condizione: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Editore: SP SPRINGER, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: UK BOOKS STORE, London, LONDO, Regno Unito
Condizione: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Editore: SP SPRINGER, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Universal Store, Princeton Junction, NJ, U.S.A.
Condizione: New. Brand New! . "This is an International Edition." Book is In New condition and ship within One Working Day Tracking Number Provided by Customer 12-24 In To Hour, Deliver by FedEx & Aramex, UPS, & USPS Act. Order can be delivered worldwide With In 8-14 Working day Delivery. Ship from India & United States.
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condizione: new.
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: California Books, Miami, FL, U.S.A.
Condizione: New.
Editore: Springer, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Eds Coiffard, 1993, 1999
ISBN 10: 2910366006 ISBN 13: 9782910366001
Da: Books+, Saint Maurice, Francia
In-4, 33 cm, 144pp., illustr., Bibliogr. p. 141. Index, reliure pleine toile de l'editeur avec jaquette, Nb-0308,
Editore: Springer Berlin Heidelberg Aug 2005, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22 24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels,techniquesforde- ing with large and in nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has traditionally drawn contributions from both academia and industry. The SPIN workshop series started 10 years ago, in 1995. Since then, SPIN workshopshavebeenheldonanannualbasisatMontr eal(1995),NewBrunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), St- ford (2000), Toronto (2001), Grenoble (2002), Portland (2003) and Barcelona (2004). All but the rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998),FLOC(1999),theWorldCongressonFormalMethods(1999),FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002, 2004). This year, SPIN was held as a satellite event of CONCUR 2005. The co-location of SPIN workshops with conferenceshas provento be verysuccessfulandhas helpedto disseminateSPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer s Lecture Notes in Computer Science series. ThehistoryofsuccessfulSPINworkshopsisevidenceforthematuringofso- waremodel-checkingtechnology.Whileinearlieryearsthefocus oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications. 304 pp. Englisch.
Editore: Epubli Feb 2013, 2013
ISBN 10: 3844250220 ISBN 13: 9783844250220
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Mobile Standortbezogene Onlinewerbung als kommunikationspolitisches Instrument im stationären Einzelhandel: Eine empirische Untersuchung situativer Einflussfaktoren 224 pp. Deutsch.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condizione: New. Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 304 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 435. . 2005. Paperback. . . . .
Editore: Springer Berlin Heidelberg, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22 24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems. The workshop focuses on topics including theoretical and algorithmic foundations and tools for software model checking, modelderivationfromcodeandcodederivationfrommodels,techniquesforde- ing with large and in nite state spaces, and applications. The workshop aims to foster interactions and exchanges of ideas with all related areas in software engineering. It has traditionally drawn contributions from both academia and industry. The SPIN workshop series started 10 years ago, in 1995. Since then, SPIN workshopshavebeenheldonanannualbasisatMontr eal(1995),NewBrunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), St- ford (2000), Toronto (2001), Grenoble (2002), Portland (2003) and Barcelona (2004). All but the rst SPIN workshop were organized as satellite events of larger conferences, in particular of CAV (1996), TACAS (1997), FORTE/PSTV (1998),FLOC(1999),theWorldCongressonFormalMethods(1999),FMOODS (2000), ICSE (2001, 2003) and ETAPS (2002, 2004). This year, SPIN was held as a satellite event of CONCUR 2005. The co-location of SPIN workshops with conferenceshas provento be verysuccessfulandhas helpedto disseminateSPIN model checking technology to wider audiences. Since 1999, the proceedings of the SPIN workshops have appeared in Springer s Lecture Notes in Computer Science series. ThehistoryofsuccessfulSPINworkshopsisevidenceforthematuringofso- waremodel-checkingtechnology.Whileinearlieryearsthefocus oftheworkshop series was algorithms and tool development around the SPIN model-checker, its scope was widened several years ago to include other software model-checking techniques, tools and applications.
Editore: SPRINGER, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Xendurance Llc, Omaha, NE, U.S.A.
PaperBack. Condizione: Brand New. New Fast Delivery Paperback, International edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 08-10 days.
Editore: Epubli, 2013
ISBN 10: 3844250220 ISBN 13: 9783844250220
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Mobile Standortbezogene Onlinewerbung als kommunikationspolitisches Instrument im stationären Einzelhandel: Eine empirische Untersuchung situativer Einflussfaktoren.
Editore: Springer Berlin Heidelberg, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: moluna, Greven, Germania
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks/Papers.- Pushdown Model Checking for Security.- Execution Generated Test Cases: How to Make Systems Code Crash Itself.- Invited Tutorials.- Effective Bug Hunting with Spin and Modex.- The BLAST Software Verification System.- Model Checking Pro.
Editore: Springer 2005-08, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Chiron Media, Wallingford, Regno Unito
PF. Condizione: New.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005
ISBN 10: 3540281959 ISBN 13: 9783540281955
Da: Kennys Bookstore, Olney, MD, U.S.A.
Condizione: New. Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 304 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 435. . 2005. Paperback. . . . . Books ship from the US and Ireland.
Editore: epubli, 2013
ISBN 10: 3844250220 ISBN 13: 9783844250220
Da: moluna, Greven, Germania
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Mobile Standortbezogene OnlinewerbungMobile Standortbezogene Onlinewerbung als kommunikationspolitisches Instrument im stationaeren Einzelhandel: Eine empirische Untersuchung situativer Einflussfaktoren.
Editore: epubli GmbH, 2013
ISBN 10: 3844250220 ISBN 13: 9783844250220
Da: Revaluation Books, Exeter, Regno Unito
Paperback. Condizione: Brand New. 224 pages. German language. 8.27x5.83x0.51 inches. In Stock.