Książka w dobrej cenie

Home Kontakt Strona główna Książki Program Partnerski

Kategorie

Audiobooki Czasopisma Ebooki Fantastyka Komiksy Książki dla dzieci i młodzieży Książki do nauki języka obcego Książki obcojęzyczne Kultura i sztuka Literatura faktu, reportaż Literatura piękna Naukowe, popularnonaukowe

Biologia, ekologia Biznes, nauki ekonomiczne Chemia, biochemia Elektronika Encyklopedie, słowniki Filologie, językoznawstwo Fizyka, astronomia Geografia, geologia, turystyka Historia filozofii Historia, archeologia Humanistyczne Informatyka, internet Aplikacje biurowe Architektura komputerów Bazy danych Biznes IT CAD/CAM Digital Lifestyle DTP Elektronika Fotografia cyfrowa Grafika komputerowa Gry Hacking Hardware Języki programowania Oprogramowanie Pakiety naukowe Podręczniki szkolne Podstawy komputera Pozostałe Programowanie Programowanie mobilne Serwery internetowe Sieci komputerowe Systemy operacyjne Webmasterstwo Literaturoznawstwo Matematyka, statystyka Nauki teologiczne Pedagogika Politologia, socjologia Prawo, administracja Psychologia Technika, nauki techniczne Wojsko, militaria, broń Zdrowie, medycyna, opieka

Podręczniki Podróże, mapy, przewodniki Poradniki i albumy Pozostałe Thrillery, sensacyjne, kryminały

Inne

E-czytniki i tablety Filmy Gadżety i akcesoria Gry i zabawki Kalendarze Muzyka Zestawy i pakiety

E-prasa

Gazeta Wyborcza PDF 2024-07-04

Cena: 2.00zł
Prenumerata: 1.13zł

Automated Technology for Verification and Analysis - Ahmed Bouajjani

Automated Technology for Verification and Analysis

4.00 Oceń książkę!

Autor: Ahmed Bouajjani

Wydawnictwo: Springer Verlag
ISBN: 9783642156427
EAN:
Format: ...
Oprawa: miękka
Stron: 412
Data wydania: 2010-01-01

Gdzie kupić tanią książkę?

Merlin

książka

261.99zł

Kup książkę

Książka w Twoim domu w ciągu 48h

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.

Książka "Automated Technology for Verification and Analysis"
Ahmed Bouajjani

Nasza księgarnia internetowa to książki, podręczniki największych księgarń oraz wydawnictw zebrane w jednym miejscu. To my przekierujemy Cię do ksiegarni, która oferuje aktualnie najtańsze książki w internecie. mKsiegarnia.pl - Przekierowujemy do najtańszych księgarń w Polsce!

Copyright © mKsiegarnia.pl - Porównywarka Cen Książek

Porównywarka Cen Książek | Książki | Podręczniki