Formal Methods for Components and ObjectsWydawnictwo: Springer Nature Data wydania: 30/01/2008 Wydanie: Pierwsze ISBN: 9783540747925 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
488.13 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Automated Technology for Verification and AnalysisWydawnictwo: Springer Nature Data wydania: 11/10/2006 Wydanie: Pierwsze ISBN: 9783540472384 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
707.52 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Formal Methods for Components and ObjectsWydawnictwo: Springer Nature Data wydania: 27/09/2005 Wydanie: Pierwsze ISBN: 9783540319399 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
488.13 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Model Checking SoftwareWydawnictwo: Springer Nature Data wydania: 27/02/2004 Wydanie: Pierwsze ISBN: 9783540247326 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
488.13 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Formal Methods for Components and ObjectsWydawnictwo: Springer Nature Data wydania: 01/12/2003 Wydanie: Pierwsze ISBN: 9783540396567 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
652.67 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Tools and Algorithms for the Construction and Analysis of SystemsWydawnictwo: Springer Nature Data wydania: 29/06/2003 Wydanie: Pierwsze ISBN: 9783540464198 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
652.67 PLN
Produkt dostępny on-line
Dostawa on-line
Do schowka
|
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 200Wydawnictwo: Springer, Berlin ISBN: 9783540672821 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783540213147 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed CoWydawnictwo: Springer, Berlin ISBN: 9783319191942 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, ProceedingsWydawnictwo: Springer, Berlin ISBN: 9783540472377 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|