Tools and Methods of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 40 zł

Kategorie główne

• Nauka

[3058955]

• Literatura piękna

[2054435]

więcej...

Kategorie szczegółowe BISAC

Tools and Methods of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Name: Tools and Methods of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Brand: Springer
Price: 208.33 PLN
Availability: InStock

ISBN-13: 9783319717333 / Angielski / Miękka / 2017 / 209 str.

Vladimir Itsykson; Andre Scedrov; Viktor Zakharov

Tools and Methods of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

ISBN-13: 9783319717333 / Angielski / Miękka / 2017 / 209 str.

Vladimir Itsykson; Andre Scedrov; Viktor Zakharov

cena 208,33
(netto: 198,41 VAT: 5%)

Najniższa cena z 30 dni: 192,74

Termin realizacji zamówienia:
ok. 16-18 dni roboczych.

Darmowa dostawa!

Widoczna okładka, to zdjęcie poglądowe, a rzeczywista szata graficzna może różnić się od prezentowanej. Nie gwarantujemy zgodności okładki z prezentowanym zdjęciem.

Kategorie:

Informatyka, Bazy danych

Kategorie BISAC:

Computers > Software Development & Engineering - General
Computers > Programming - Compilers
Computers > Hardware - Cell Phones & Devices

Wydawca:

Springer

Seria wydawnicza:

Communications in Computer and Information Science

Język:

Angielski

ISBN-13:

9783319717333

Rok wydania:

2017

Wydanie:

2018

Numer serii:

000354756

Ilość stron:

209

Waga:

0.35 kg

Wymiary:

23.5 x 15.5

Oprawa:

Miękka

Wolumenów:

Software test automation.- Static program analysis.- Verification.- Dynamic methods of program analysis.- Testing and analysis of parallel and distributed systems.- Testing and analysis of high-load and high-availability systems.- Analysis and verification of hardware and software systems.- Methods of building quality software.- Tools for software analysis, testing and verification.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2026 DolnySlask.com Agencja Internetowa