A Survey of Verification Techniques for Parallel Programs » 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

[3062267]

• Literatura piękna

[2081849]

więcej...

Kategorie szczegółowe BISAC

A Survey of Verification Techniques for Parallel Programs

Name: A Survey of Verification Techniques for Parallel Programs
Brand: Springer
Price: 95.59 PLN
Availability: InStock

ISBN-13: 9783540152392 / Angielski / Miękka / 1985 / 120 str.

Howard Barringer

A Survey of Verification Techniques for Parallel Programs

ISBN-13: 9783540152392 / Angielski / Miękka / 1985 / 120 str.

Howard Barringer

cena 95,59
(netto: 91,04 VAT: 5%)

Najniższa cena z 30 dni: 88,64

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:

Reference > Questions & Answers
Computers > Software Development & Engineering - General
Computers > Languages - General

Wydawca:

Springer

Język:

Angielski

ISBN-13:

9783540152392

Rok wydania:

1985

Wydanie:

1985

Numer serii:

000013115

Ilość stron:

120

Waga:

0.19 kg

Wymiary:

23.39 x 15.6 x 0.69

Oprawa:

Miękka

Wolumenów:

Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2026 DolnySlask.com Agencja Internetowa