Auroria Cienie Tom 2

Auroria Cienie Tom 2 Timo Parvela

» Zobacz wszystkie

Chmuroręki i Ogniousty

Chmuroręki i Ogniousty Maria Paszyńska

» Zobacz wszystkie

Dzieci gotują. Proste roślinne przepisy z 4 stron świata

Dzieci gotują. Proste roślinne przepisy z 4 stron świata Ida Kulawik

» Zobacz wszystkie

Traktorek jest chory

Traktorek jest chory Natalie Quintart

» Zobacz wszystkie

Auroria. Cienie. Tom 2

Auroria. Cienie. Tom 2 Timo Parvela

» Zobacz wszystkie

Benio. Czy ja umyłem zęby?

Benio. Czy ja umyłem zęby? Katarzyna Kucewicz

» Zobacz wszystkie

Rękawiczki wojowniczki, czyli supermoce na wyciągnięcie ręki

Rękawiczki wojowniczki, czyli supermoce na wyciągnięcie ręki Adam Skrodzki

» Zobacz wszystkie

Cześć, tu Carter!

Cześć, tu Carter! Max Czornyj

» Zobacz wszystkie

Stefcia chce do mamy

Stefcia chce do mamy Aleksandra Struska-Musiał

» Zobacz wszystkie

12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości

12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe

» Zobacz wszystkie

Niedźwiadki Agatki. Uczucia uczuciowców, czyli książka o emocjach

Niedźwiadki Agatki. Uczucia uczuciowców, czyli książka o emocjach Joanna Krzyżanek

» Zobacz wszystkie

Żar tropików. Pająk i mucha. Tom 5

Żar tropików. Pająk i mucha. Tom 5 Kai Pannen

» Zobacz wszystkie

Słuchaj głosu serca

Słuchaj głosu serca Natalia Sońska

Gwiazdka pełna marzeń

Gwiazdka pełna marzeń Paulina Wiśniewska

Zupełnie inny cud

Zupełnie inny cud Agnieszka Olejnik

O psie, który uratował święta

O psie, który uratował święta W. Bruce Cameron

Dzwonki, gwiazdki i słomki

Dzwonki, gwiazdki i słomki Renata Kosin

Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis A Bouajjani

Automated Technology for Verification and Analysis

A Bouajjani

Automated Technology for Verification and Analysis

A Bouajjani

Producent: Springer Verlag
Rok produkcji: 2010
ISBN: 9783642156427
Ilość stron: 412
Oprawa: Miękka

Wysyłka:
Niedostępna

Cena katalogowa 286,65 PLN brutto

Cena dostępna po zalogowaniu

Dodaj do Schowka

Cena 286,65 PLN

Dodaj do Schowka

Opis: Automated Technology for Verification and Analysis - A Bouajjani

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010. The book includes 3 invited talks, 21 regular papers and 9 tool papers.

Szczegóły: Automated Technology for Verification and Analysis - A Bouajjani

Tytuł: Automated Technology for Verification and Analysis
Autor: A Bouajjani
Producent: Springer Verlag
ISBN: 9783642156427
Rok produkcji: 2010
Ilość stron: 412
Oprawa: Miękka
Waga: 0.61 kg

Recenzje: Automated Technology for Verification and Analysis - A Bouajjani

Informacje: