9783031661488 - model checking software: 30th international symposium, spin 2024, luxembourg city, luxembourg, april 8–9, 2024, proceedings: 14624 (13 risultati)

Perfeziona la tua ricerca

  • Libri (13)

a

Fascia di prezzo personalizzata (EUR)

a

  • Lingua: Inglese

    Editore: Springer, 2024

    3031661486 / 9783031661488

    • Brossura

    Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 61,27

    EUR 14,03 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: New. In.

  • Lingua: Inglese

    Editore: Springer, 2024

    3031661486 / 9783031661488

    • Brossura

    Da: Books Puddle, New York, NY, U.S.A.Books Puddle

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 79,93

    EUR 3,51 spedizione 
    Spedito in U.S.A.

    Quantità: 4 disponibili

    Condizione: New. 2024th edition NO-PA16APR2015-KAP.

  • Lingua: Inglese

    Editore: Springer Nature, 2024

    3031661486 / 9783031661488

    • Brossura

    Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 80,08

    EUR 11,71 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 2 disponibili

    Paperback. Condizione: Brand New. 260 pages. 9.25x6.10x9.21 inches. In Stock.

  • Altre immagini

    Lingua: Inglese

    Editore: Springer Nature Switzerland, Springer Nature Switzerland, 2024

    3031661486 / 9783031661488

    • Brossura

    Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 53,49

    EUR 62,18 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibili

    Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3 short papers and 2 invited papers included

  • Altre immagini

    Lingua: Inglese

    Editore: Springer, 2024

    3031661486 / 9783031661488

    • Brossura

    Da: preigu, Osnabrück, Germaniapreigu

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 50,40

    EUR 70,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 5 disponibili

    Taschenbuch. Condizione: Neu. Model Checking Software | 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings | Thomas Neele (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2024 | Springer | EAN 9783031661488 | Verantwortliche Person für die EU: Springer V

  • Lingua: Inglese

    Editore: Springer, 2024

    3031661486 / 9783031661488

    • Brossura

    Da: Buchpark, Trebbin, GermaniaBuchpark

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Usato

    EUR 29,04

    EUR 105,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibili

    Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 284 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3 short papers and 2 i

  • Lingua: Inglese

    Editore: Springer, 2024

    3031661486 / 9783031661488

    • Brossura
    • Print on Demand

    Da: Brook Bookstore On Demand, Napoli, NA, ItaliaBrook Bookstore On Demand

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 46,22

    EUR 5,50 spedizione 
    Spedito da Italia a U.S.A.

    Quantità: Più di 20 disponibili

    Condizione: new. Questo è un articolo print on demand.

  • Lingua: Inglese

    Editore: Springer, 2024

    3031661486 / 9783031661488

    • Brossura
    • Print on Demand

    Da: Basi6 International, Irving, TX, U.S.A.Basi6 International

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 61,89

     Spedizione gratuita 
    Spedito in U.S.A.

    Quantità: 10 disponibili

    Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.

  • Altre immagini

    Lingua: Inglese

    Editore: Springer, Berlin, Springer Nature Switzerland, Springer, 2024

    3031661486 / 9783031661488

    • Brossura
    • Print on Demand

    Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 53,49

    EUR 23,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 2 disponibili

    Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3 short papers and 2 invited

  • Lingua: Inglese

    Editore: Springer, 2024

    3031661486 / 9783031661488

    • Brossura
    • Print on Demand

    Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 79,34

    EUR 7,61 spedizione 
    Spedito da Regno Unito a U.S.A.

    Quantità: 4 disponibili

    Condizione: New. Print on Demand.

  • Lingua: Inglese

    Editore: Springer, 2024

    3031661486 / 9783031661488

    • Brossura
    • Print on Demand

    Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

    Venditore con 4 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 80,01

    EUR 9,95 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 4 disponibili

    Condizione: New. PRINT ON DEMAND.

  • Altre immagini

    Lingua: Inglese

    Editore: Springer, Berlin|Springer Nature Switzerland|Springer, 2024

    3031661486 / 9783031661488

    • Brossura
    • Print on Demand

    Da: moluna, Greven, Germaniamoluna

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 52,67

    EUR 48,99 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: Più di 20 disponibili

    Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 f

  • Altre immagini

    Lingua: Inglese

    Editore: Springer, Springer Okt 2024, 2024

    3031661486 / 9783031661488

    • Brossura
    • Print on Demand

    Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

    Venditore con 5 stelle
    Contatta il venditore

    Condizione: Nuovo

    EUR 53,49

    EUR 60,00 spedizione 
    Spedito da Germania a U.S.A.

    Quantità: 1 disponibili

    Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full papers, 3 short papers and 2 invited pap