Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Leveraging Applications of Formal Methods

Name: Leveraging Applications of Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01565012
Price: 261.85 PLN
Availability: InStock

Tiziana Maragria

Bernhard Steffen

Język

Angielski

Książka Miękka

Kod Libristo: 01565012

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2006

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium... Cały opis

Kod Libristo: 01565012

154 b

261.85 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Nome in Codice "nefthe" Gero Marino

/ Miękka

69.75 zł

Fire and the Full Moon David Webster

/ Miękka

168.55 zł

Fifth Assassin Brad Meltzer

/ Miękka

42.30 zł

Anacondas Imogen Kingsley

/ Twarda

140.10 zł

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.§The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

Informacje o książce

Pełna nazwa Leveraging Applications of Formal Methods

Autor Tiziana Maragria, Bernhard Steffen

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2006

Liczba stron 197

EAN 9783540489283

ISBN 3540489282

Kod Libristo 01565012

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga 338

Wymiary 155 x 235 x 12

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

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) > Projektowanie architektury komputerowej i projektowanie logiczne

Informatyka i technologie informacyjne (IT) > Systemy operacyjne

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

Dostawa

Doradca ds. zakupów