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ł.

Verification: Theory and Practice

Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Język AngielskiAngielski
Książka Miękka
Książka Verification: Theory and Practice Nachum Dershowitz
Kod Libristo: 01559051
Wydawnictwo Springer, Berlin, listopad 2003
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birt... Cały opis
? points 249 b
445.65 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

100 CONTEMPORARY WOOD BUILDINGS JODIDIO / Książka Twarda
common.buy 295.76 zł
Le Procès Pétain. La Collaboration face à ses juges Julian Jackson / Książka Miękka
common.buy 132.87 zł
Adastra: Ľúbiť ťa ešte raz Matúš Mahút / Książka Twarda
common.buy 65.66 zł
LA PELUSA DE DEBAJO DE MI CAMA Hernández / Książka Książka
common.buy 78.88 zł
Les industries métallurgique T3 REDON / Książka Miękka
common.buy 157.76 zł
Säggs'sch - Fast vergessen Gunter Böhnke / Książka Twarda
common.buy 29.29 zł
EVALUACIóN PSICOLóGICA (CAPíTULO 10) FERNáNDEZ-BALLESTEROS / Książka Książka
common.buy 30.52 zł
Kulturpolitik und Theater Philipp Ther / Książka Miękka
common.buy 269.13 zł
Analyse de données avec Excel Pour les Nuls Stephen L. Nelson / Książka Miękka
common.buy 122.52 zł
Oeuvres de Froissart: Table Analytique Des Noms Historiques... Jean Froissart / Książka Miękka
common.buy 136.76 zł
Zauberwelten, 1 DVD Ehrlich Brothers / Wideo DVD
common.buy 64.94 zł
Platons Totenbuch Holger Kalweit / Książka Miękka
common.buy 98.55 zł
Foerderung des geometrischen Denk- und Vorstellungsvermoegens Benjamin Gill / Książka Miękka
common.buy 223.74 zł
Kleuren is leuk - Kerstmis - Volume 1: Het is tijd om Kerstmis te vieren! Sonia Vrambout / Książka Miękka
common.buy 33.08 zł
Reconectar con el Alma Dra Gabriella Kortsch / Książka Miękka
common.buy 60.23 zł
Bar de La Mer Jacques Almira / Książka Miękka
common.buy 48.24 zł
Supply Chain Spuren im Schnee Thomas Ziegler / Książka Miękka
common.buy 258.37 zł
Oeuvres Posthumes de Auguste Barbier, Nouvelles Etudes Litteraires Et Artistiques Auguste Barbier / Książka Miękka
common.buy 109.10 zł
Klinisch-therapeutische Soziale Arbeit Ute-Antonia Lammel / Książka Miękka
common.buy 86.87 zł
Das Recht des Bürgers auf behördliche Auskunft. Kai Krieger / Książka Miękka
common.buy 325.78 zł

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.

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 Verification: Theory and Practice
Autor Nachum Dershowitz
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 788
EAN 9783540210023
ISBN 3540210024
Kod Libristo 01559051
Wydawnictwo Springer, Berlin
Waga 988
Wymiary 156 x 234 x 40

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
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 > 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

Mogłoby Cię także zainteresować

VLSI-SoC: From Systems to Silicon Ricardo Reis / Książka Twarda
common.buy 495.75 zł
Deciphering Data Architectures James Serra / Książka Miękka
common.buy 259.09 zł
Mongrel Hoyt Silva / Książka Miękka
common.buy 41.79 zł
WISHYPOOFS & HICCUPS Marion Lindsay / Książka Miękka
common.buy 27.04 zł
Witches Be Crazy: Witch Wicca Spell Paper Bright Halloween 200 Pages Gg Stoutsong / Książka Miękka
common.buy 40.77 zł
Knowing the Ways of God John C Fenn / Książka Miękka
common.buy 52.55 zł
A DEFENCE OF THE EXPOSITION OF THE DOCTR WILLIAM WAKE / Książka Twarda
common.buy 140.86 zł
GECCO 14 Genetic and Evolutionery Computation Conference Vol 2 Gecco 14 Conference Committee / Książka Miękka
common.buy 784.86 zł
Dad Is the Best! Joshua D Hunt / Książka Miękka
common.buy 134.61 zł
Southern Storm Zondervan / Książka Miękka
common.buy 37.18 zł
Code of Honor Harold Coyle / Książka Miękka
common.buy 87.99 zł
Diary Of The Times Of Charles The Second By The Honorable Henry Sidney V2 (1843) Henry Sidney / Książka Miękka
common.buy 149.16 zł
Theater of the Mind Neil Verma / Książka Twarda
common.buy 607.31 zł
Backroads and Byways of Indian Country Teresa Bitler / Książka Miękka
common.buy 122.62 zł
Selling Solar Damian Miller / Książka Twarda
common.buy 1 265.76 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