Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

SPIN Model Checking and Software Verification: 7th International SPIN Workshop S

Ø 0.0
0 Bewertungen
69,15 €

Using Garbage Collection in Model Checking. - Model Checking Based on Simultaneous Reachability Analysis. - Testing Spin's LTL Formula Conversion into Büchi Automata with Randomly Generated Input.

Jetzt bei Ebay:

Zum Angebot *
  • ISBN-13:
    9783540410300
  • Book Title:
    SPIN Model Checking and Software Verification
  • ISBN:
    9783540410300
  • None:
    International Standard : tracked-no signature (7 to 15 business days) 40,01 EUR - Lieferung zwischen 19. May 2025 und 30. May 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Weltweit
  • Versand ausgeschlossen:
    Irak , Libanon , Jemen , Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , ... und weitere

Ähnliche Artikel

Produktbild - Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, Apr

Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, Apr

69,14 €
Zum Angebot
Produktbild - Hardware and Software: Verification and Testing: 7th International Haifa Verific

Hardware and Software: Verification and Testing: 7th International Haifa Verific

61,49 €
Zum Angebot
Produktbild - Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Ed

Component-Based Software Engineering: 7th International Symposium, CBSE 2004, Ed

69,14 €
Zum Angebot
Produktbild - Fundamental Approaches to Software Engineering: 7th International Conference, FA

Fundamental Approaches to Software Engineering: 7th International Conference, FA

69,14 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation: Third International W

Verification, Model Checking, and Abstract Interpretation: Third International W

69,14 €
Zum Angebot
Produktbild - Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July

69,14 €
Zum Angebot
Produktbild - Model Checking Software: 9th International SPIN Workshop Grenoble, France, April

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April

85,15 €
Zum Angebot
Produktbild - Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, Ma

Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, Ma

69,14 €
Zum Angebot
Produktbild - Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, Mar

Runtime Verification: 7th International Workshop, RV 2007, Vancover, Canada, Mar

69,14 €
Zum Angebot
Produktbild - Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 1

Model Checking Software: 8th International SPIN Workshop, Toronto, Canada, May 1

69,14 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation: 7th International Con

Verification, Model Checking, and Abstract Interpretation: 7th International Con

69,14 €
Zum Angebot
Produktbild - Model Checking Software : 9th International Spin Workshop, Grenoble, France, ...

Model Checking Software : 9th International Spin Workshop, Grenoble, France, ...

66,30 €
Zum Angebot
Produktbild - Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa,...

Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa,...

56,46 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation: 19th International Co

Verification, Model Checking, and Abstract Interpretation: 19th International Co

69,14 €
Zum Angebot
Produktbild - Verification, Model Checking, and Abstract Interpretation: 5th International Con

Verification, Model Checking, and Abstract Interpretation: 5th International Con

69,14 €
Zum Angebot
Produktbild - Model Checking Software: 16th International SPIN Workshop, Grenoble, France, Jun

Model Checking Software: 16th International SPIN Workshop, Grenoble, France, Jun

69,14 €
Zum Angebot
Produktbild - Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, US

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, US

69,14 €
Zum Angebot
Produktbild - Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China

69,14 €
Zum Angebot
Produktbild - Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event,

Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event,

69,14 €
Zum Angebot
Produktbild - Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherl

Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherl

72,06 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay