Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verification: Theory and Practice

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification: Theory and Practice Nachum Dershowitz
Libristo kód: 01559051
Nakladateľstvo Springer, Berlin, november 2003
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birt... Celý popis
? points 249 b
102.67 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Zauberwelten, 1 DVD Ehrlich Brothers / Video DVD
common.buy 14.41 €
Les industries métallurgique T3 REDON / Kniha Brožovaná
common.buy 36.50 €
Oeuvres de Froissart: Table Analytique Des Noms Historiques... Jean Froissart / Kniha Brožovaná
common.buy 29.95 €
100 CONTEMPORARY WOOD BUILDINGS JODIDIO / Kniha Pevná
common.buy 68.18 €
EVALUACIóN PSICOLóGICA (CAPíTULO 10) FERNáNDEZ-BALLESTEROS / Kniha Kniha
common.buy 6.95 €
Säggs'sch - Fast vergessen Gunter Böhnke / Kniha Pevná
common.buy 6.75 €
LA PELUSA DE DEBAJO DE MI CAMA Hernández / Kniha Kniha
common.buy 18.15 €
Platons Totenbuch Holger Kalweit / Kniha Brožovaná
common.buy 22.89 €
Kleuren is leuk - Kerstmis - Volume 1: Het is tijd om Kerstmis te vieren! Sonia Vrambout / Kniha Brožovaná
common.buy 7.25 €
Reconectar con el Alma Dra Gabriella Kortsch / Kniha Brožovaná
common.buy 13.20 €
Bar de La Mer Jacques Almira / Kniha Brožovaná
common.buy 11.29 €
Oeuvres Posthumes de Auguste Barbier, Nouvelles Etudes Litteraires Et Artistiques Auguste Barbier / Kniha Brožovaná
common.buy 24.00 €
Klinisch-therapeutische Soziale Arbeit Ute-Antonia Lammel / Kniha Brožovaná
common.buy 20.06 €
Das Recht des Bürgers auf behördliche Auskunft. Kai Krieger / Kniha Brožovaná
common.buy 75.03 €
Supply Chain Spuren im Schnee Thomas Ziegler / Kniha Brožovaná
common.buy 59.70 €
Foerderung des geometrischen Denk- und Vorstellungsvermoegens Benjamin Gill / Kniha Brožovaná
common.buy 51.53 €
Kulturpolitik und Theater Philipp Ther / Kniha Brožovaná
common.buy 62.22 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification: Theory and Practice
Autor Nachum Dershowitz
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2004
Počet strán 788
EAN 9783540210023
ISBN 3540210024
Libristo kód 01559051
Nakladateľstvo Springer, Berlin
Váha 988
Rozmery 156 x 234 x 40

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Expertné systémy/systémy založené na vedomostiach
Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Dizajn používateľského rozhrania a použiteľnosť
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

VLSI-SoC: From Systems to Silicon Ricardo Reis / Kniha Pevná
common.buy 108.92 €
Witches Be Crazy: Witch Wicca Spell Paper Bright Halloween 200 Pages Gg Stoutsong / Kniha Brožovaná
common.buy 8.97 €
Knowing the Ways of God John C Fenn / Kniha Brožovaná
common.buy 11.49 €
WISHYPOOFS & HICCUPS Marion Lindsay / Kniha Brožovaná
common.buy 5.84 €
A DEFENCE OF THE EXPOSITION OF THE DOCTR WILLIAM WAKE / Kniha Pevná
common.buy 30.85 €
GECCO 14 Genetic and Evolutionery Computation Conference Vol 2 Gecco 14 Conference Committee / Kniha Brožovaná
common.buy 189.52 €
Dad Is the Best! Joshua D Hunt / Kniha Brožovaná
common.buy 33.48 €
Southern Storm Zondervan / Kniha Brožovaná
common.buy 9.17 €
Code of Honor Harold Coyle / Kniha Brožovaná
common.buy 19.15 €
Mongrel Hoyt Silva / Kniha Brožovaná
common.buy 9.67 €
Diary Of The Times Of Charles The Second By The Honorable Henry Sidney V2 (1843) Henry Sidney / Kniha Brožovaná
common.buy 32.67 €
Selling Solar Damian Miller / Kniha Pevná
common.buy 291.69 €
Backroads and Byways of Indian Country Teresa Bitler / Kniha Brožovaná
common.buy 26.62 €
Theater of the Mind Neil Verma / Kniha Pevná
common.buy 134.04 €
Deciphering Data Architectures James Serra / Kniha Brožovaná
common.buy 55.97 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?