Formal Methods for Components and ObjectsPublisher: Springer Nature Year: 30/01/2008 Edition: First ISBN: 9783540747925 Publication form: eBook: Fixed Page eTextbook (PDF)
|
488.13 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Automated Technology for Verification and AnalysisPublisher: Springer Nature Year: 11/10/2006 Edition: First ISBN: 9783540472384 Publication form: eBook: Fixed Page eTextbook (PDF)
|
707.52 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Formal Methods for Components and ObjectsPublisher: Springer Nature Year: 27/09/2005 Edition: First ISBN: 9783540319399 Publication form: eBook: Fixed Page eTextbook (PDF)
|
488.13 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Model Checking SoftwarePublisher: Springer Nature Year: 27/02/2004 Edition: First ISBN: 9783540247326 Publication form: eBook: Fixed Page eTextbook (PDF)
|
488.13 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Formal Methods for Components and ObjectsPublisher: Springer Nature Year: 01/12/2003 Edition: First ISBN: 9783540396567 Publication form: eBook: Fixed Page eTextbook (PDF)
|
652.67 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Tools and Algorithms for the Construction and Analysis of SystemsPublisher: Springer Nature Year: 29/06/2003 Edition: First ISBN: 9783540464198 Publication form: eBook: Fixed Page eTextbook (PDF)
|
652.67 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, ProceedingsPublisher: Springer, Berlin ISBN: 9783540213147 Publication form: paperback
|
Ask about the product
|
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 CoPublisher: Springer, Berlin ISBN: 9783319191942 Publication form: paperback
|
Ask about the product
|
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, ProceedingsPublisher: Springer, Berlin ISBN: 9783540472377 Publication form: paperback
|
Ask about the product
|
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 200Publisher: Springer, Berlin ISBN: 9783540672821 Publication form: paperback
|
Ask about the product
|