Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Tools and Algorithms for the Construction and Analysis of Systems

Język AngielskiAngielski
Książka Miękka
Książka Tools and Algorithms for the Construction and Analysis of Systems Axel Legay
Kod Libristo: 15981191
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2017
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference... Cały opis
? points 125 b
224.06 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Zapowiedź
MIXtipp: Lieblingsrezepte der Thermimaus Anja Krandick / Książka Miękka
common.buy 37.27 zł
Elementi medievali nei dintorni di Poggio Moiano (Rieti) Andrea Del Vescovo / Książka Miękka
common.buy 72.18 zł
O que é uma pessoa literária? Bernard Djoumessi Tongmo / Książka Miękka
common.buy 308.47 zł
Bescherelle français CP - 6 ans Véronique Virzi-Roustan / Książka Miękka
common.buy 39.22 zł
(23).VACACIONES.RUMBO A...6º PRIMARIA MATEMATICAS / Książka Książka
common.buy 77.11 zł
Cristóv?o Colombo Alva Silva / Książka Miękka
common.buy 58.83 zł
Diagnóstico por imagen en el abdomen agudo de origen inflamatorio-infeccioso Sánchez Jiménez / Książka Miękka
common.buy 103.40 zł
EL SINDROME DE APNEA OBSTRUCTIVA DEL SUEÑO (SAHS) Y SU RELACION CON PATOLOGIA OFTALMOLOGICA COMO GLA CABALLERO SANCHEZ / Książka Miękka
common.buy 93.33 zł
Durch den Kaukasus zur Wolga Fridtjof Nansen / Książka Miękka
common.buy 70.02 zł
MARCO. DE LOS APENINOS A LOS ANDES, 3 MARTA CURESES / Książka Miękka
common.buy 56.47 zł
Le Bonheur Agn?s Varda / Wideo DVD
common.buy 35.52 zł
Handbuch der allgemeinen Litterargeschichte nach Heumanns Grundriss Karl Joseph Bouginé / Książka Miękka
common.buy 120.03 zł

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Tools and Algorithms for the Construction and Analysis of Systems
Autor Axel Legay, Tiziana Margaria
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 609
EAN 9783662545768
ISBN 3662545764
Kod Libristo 15981191
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 9475
Wymiary 155 x 235 x 35

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Therapeutics of Tuberculosis, or Pulmonary Consumption WM. H. BURT / Książka Miękka
common.buy 98.37 zł
TOP
The Complete 2000 AD by Alan Moore: Future Shocks & Other Stories MOORE ALAN / Książka Twarda
common.buy 170.25 zł
No Bad Days Mestdagh / Książka Twarda
common.buy 68.48 zł
10 Mindsets to Embrace for Teenage Success, Happiness, and a Determined Path in Life Charles E. Tyler / Książka Miękka
common.buy 59.55 zł
Algorithms for Computational Biology Ian Holmes / E-book Adobe ePub DRM
common.buy 291.42 zł
Hope's Healing Love Jenna Hendricks / Książka Miękka
common.buy 68.48 zł
The Life And Adventures Of Jules Gerard, Containing A History And Description Of Algeria Jules Gerard / Książka Miękka
common.buy 137.08 zł
Hide and Seek, Little Chameleon Anita Bijsterbosch / Książka Leporelo
common.buy 54.31 zł
Malinowski & Kaplan's Human Geography+ 1st AP* Edition Student Workbook David Tamm / Książka Miękka
common.buy 162.03 zł
Navy DDG-51 and DDG-1000 Destroyer Programs: Background and Issues for Congress O'Rourke / Książka Miękka
common.buy 68.28 zł
Hazard (Ultimate Football Heroes - the No. 1 football series) Matt Oldfield / Książka Miękka
common.buy 33.16 zł
Redefining Female Religious Life Laurence Lux-Sterritt / Książka Twarda
common.buy 1 059.63 zł
Correct posture and physical exercises for dental professionals Rezarta Stena / Książka Miękka
common.buy 139.24 zł
Fanshawe Nathaniel Hawthorne / Książka Miękka
common.buy 40.86 zł
Avoiding The Armageddon Factor: Justice in an Age of Conservation MR Nicholas Charles Cousins / Książka Miękka
common.buy 48.77 zł
Being Shaken: Ontology and the Event M. Marder / Książka Miękka
common.buy 253.63 zł
Violence Continuum Elizabeth C. Manvell / Książka Miękka
common.buy 242.54 zł
Copyright for Teachers and Librarians in the 21st Century Rebecca P. Butler / Książka Miękka
common.buy 350.26 zł
Secret Mandate of Rahab Ezreaonne Jackson / Książka Miękka
common.buy 42.61 zł
Ghetto to Coffee Shop Arthur Bellfield / Książka Miękka
common.buy 47.84 zł
Goodbye to THES: collages and metafictions Geoffrey Mark Matthews / Książka Miękka
common.buy 181.34 zł
SHOW ME THE WAY Henri J. M. Nouwen / Książka Miękka
common.buy 87.99 zł
Greenwashing Culture Toby Miller / Książka Miękka
common.buy 272.22 zł
Pope Francis and the Theology of the People Rafael Luciani / Książka Miękka
common.buy 111.10 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?