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

Żar tropików Pająk i mucha Tom 5 Pannen Kai Zapowiedż 2024-07-10

» Zobacz wszystkie

Marcelinka i wakacyjna przygoda na Mazurach

Marcelinka i wakacyjna przygoda na Mazurach Katarzyna Kucewicz

» Zobacz wszystkie

Naznaczone dziecko. Misja prawie niemożliwa. Tom 1

Naznaczone dziecko. Misja prawie niemożliwa. Tom 1 Timo Parvela

» Zobacz wszystkie

Cześć, tu Kopernik!

Cześć, tu Kopernik! Max Czornyj

» Zobacz wszystkie

Stefcia zaprasza koleżankę

Stefcia zaprasza koleżankę Aleksandra Struska-Musiał

» Zobacz wszystkie

Edek. Tom 3. Edek pomaga

Edek. Tom 3. Edek pomaga Thomas Brunstrøm

» Zobacz wszystkie

Dojrzewanie. To, o czym dorośli Ci nie mówią (z autografem autorów)

Dojrzewanie. To, o czym dorośli Ci nie mówią (z autografem autorów) Boguś Janiszewski, Max Skorwider

» Zobacz wszystkie

Dzikość Yuval Zommer

» Zobacz wszystkie

Pierwsze nuty wiosny

Pierwsze nuty wiosny Jessica Kulekjian

» Zobacz wszystkie

Czort z Zakopca. Gnomon. Tom 3

Czort z Zakopca. Gnomon. Tom 3 Iwona Banach

» Zobacz wszystkie

Cześć, tu Kolumb!

Cześć, tu Kolumb! Max Czornyj

» Zobacz wszystkie

Stefcia się złości

Stefcia się złości Aleksandra Struska-Musiał

» Zobacz wszystkie

Słuchaj głosu serca

Słuchaj głosu serca Natalia Sońska

Gwiazdka pełna marzeń

Gwiazdka pełna marzeń Wiśniewska Paulina

Zupełnie inny cud

Zupełnie inny cud Agnieszka Olejnik

Romans pod choinkę

Romans pod choinkę Bester Katarzyna

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

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

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: