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.

Theory and Formal Methods of Computing

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Theory and Formal Methods of Computing Chris Hankin
Libristo kód: 05121460
Nakladateľstvo Imperial College Press, január 1995
The focus of this workshop was the development of mathematically-based techniques of formal specific... Celý popis
? points 410 b
167.66 €
50 % šanca Prehľadáme celý svet Kedy knihu dostanem?

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Čepel čarodějky A. K. Mulford / Kniha Brožovaná
common.buy 17.10 €
Under the Stars (Ukrainian Children's Book) Sam Sagolski / Kniha Pevná
common.buy 24.50 €
The Taste of Anime Kurono / Kniha Pevná
common.buy 19.50 €
12th Mini Album SPILL THE FEELS YOU Ver. SEVENTEEN / Audio Audio CD
common.buy 31.60 €
Bajkoviti adventski kalendar Tereza Konupčíková / Kniha binding.
common.buy 31.80 €
Discours sur l'irrationalité dans les romans de Peter Ackroyd Mihaela Cristina Oancea / Kniha Brožovaná
common.buy 43.11 €
Die Elixiere des Teufels. Lebensansichten des Katers Murr E. T. A. Hoffmann / Kniha Pevná
common.buy 13.40 €
Był sobie kraj. Rozmowy o Polsce Magdalena M. Baran / Kniha Brožovaná
common.buy 10.39 €
Establecimiento de un sistema de propagación in vitro en girasol Alejandra Sofía Betancourt Queffelec / Kniha Brožovaná
common.buy 44.01 €
Theoretische und methodische Grundlagen ausgewahlter leichtathletischer Disziplinen André Lach / Kniha Brožovaná
common.buy 16.00 €
Pfadfinderin Paul Heyse / Kniha Brožovaná
common.buy 8.09 €
Metro Cuadrado M. Depatlaura / Kniha Brožovaná
common.buy 13.90 €
Oraison Funebre de Louis XVI. Seconde Edition Barrallier-D / Kniha Brožovaná
common.buy 12.30 €
Cyclope Exorbite E. Aarons / Kniha Brožovaná
common.buy 5.59 €
Cómo practicar la quiromancia : una guía para conocer el lenguaje de las manos NATHANIEL ALTMAN / Kniha Brožovaná
common.buy 14.50 €
Democracia a la fuerza : intervenciones estadounidenses en la República Dominicana, Granada y Panamá Russell Crandall / Kniha Brožovaná
common.buy 32.00 €
PRINCESA CEN.14 LAWRENCE / Kniha Brožovaná
common.buy 10.59 €
La princesse des nuages Lê Khoa / Kniha Pevná
common.buy 12.19 €
Histoire de S. E. Mgr Le Cardinal Gousset FEVRE-J / Kniha Brožovaná
common.buy 31.30 €
Emplatre Revulsif de Thapsia REBOULLEAU-D / Kniha Brožovaná
common.buy 12.00 €
Top
Az Üzlet Öröme - Joy of Business Hungarian Simone Milasas / Kniha Brožovaná
common.buy 18.10 €
Rousseau, Henri Joséphine Bindé / Kniha Pevná
common.buy 10.99 €
de la Liqueur d'Absinthe Et de Ses Effets Ferdinand Moreau / Kniha Brožovaná
common.buy 12.90 €
CAJOU ROI DU DODO Didier Levy / Kniha Pevná
common.buy 6.59 €

The focus of this workshop was the development of mathematically-based techniques of formal specification of system behaviour, and the systematic development of implementations. The aim is to produce correct, efficient implementations in a reliable fashion. Topics covered at the workshop include category theory, logic, domain theory, semantics, concurrency, specification and verification. The papers here range from the purely theoretical to practical applications.

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 Theory and Formal Methods of Computing
Autor Chris Hankin, I. Mackie, Rajagopal Nagarajan
Jazyk Angličtina
Väzba Kniha - Pevná
Dátum vydania 1995
Počet strán 444
EAN 9781860940033
Libristo kód 05121460
Nakladateľstvo Imperial College Press
Váha 592
Rozmery 230

Kategórie

Výpočtové a informačné technológie > Informatika > Teória algoritmov
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ť

The Role of Trade and Technology in 21st-Century Manufacturing Committee on Finance United States Senat / Kniha Brožovaná
common.buy 14.70 €
The River of the West: Life and Adventure in the Rocky Mountains and Oregon; Embracing Events in the Life-time of a Mountain-man and Pioneer: Frances Fuller Victor / Kniha Brožovaná
common.buy 28.90 €
International Handbook of Addiction Behaviour Ilana Belle Glass / Kniha Brožovaná
common.buy 61.22 €
Laurie's Secret P Lee May / Kniha Brožovaná
common.buy 8.89 €
Impetuous Mistress GEORGE HARMON COXE / Kniha Brožovaná
common.buy 13.80 €
On the Origin of Products Eger / Kniha Pevná
common.buy 132.34 €
The Holy Qur'an. Kerry Butters / Kniha Brožovaná
common.buy 17.30 €
The Chemical Wedding Of Christian Rosencreutz E Foxcroft / Kniha Pevná
common.buy 32.40 €
Silver: Of Hunters and Prey (Silver Book #2) Franck / Kniha Pevná
common.buy 19.70 €
Integrating Clinical Aromatherapy in Palliative Care Rhiannon Lewis / Kniha Brožovaná
common.buy 39.11 €
Under His Wings: Psalm 91: A Devotional Bonnie Inkster / Kniha Brožovaná
common.buy 9.69 €
Use of neutron beams for materials research relevant to the nuclear energy sector International Atomic Energy Agency / Kniha Brožovaná
common.buy 22.80 €
Military Aircraft, Tanks and Warships Visual Encyclopedia Robert Jackson / Kniha Brožovaná
common.buy 31.30 €
Invincible Man John Danen / Kniha Brožovaná
common.buy 18.20 €
Wally Walnut B. L. Edwards / Kniha Brožovaná
common.buy 23.80 €
Meditative Commentary Series: Ephesians, Philippians, Colossians, Philemon: Jesus Above All Earl Lavender / Kniha Brožovaná
common.buy 9.69 €
Annual Editions: American History, Volume 1, 18/E Robert James Maddox / Kniha Brožovaná
common.buy 31.50 €
Emma's Halloween Activity Book: Personalized Book for 4-8 Year Old, Coloring Pages, Join the Dots, Tracing, Ghost Mazes. Seasonal Story Writing Prompt Wj Journals / Kniha Brožovaná
common.buy 11.49 €
My First Book About Engineering: An Awesome Introduction to Robotics & other Fields of Engineering Patricia Wynne / Kniha Brožovaná
common.buy 5.49 €
Dignity and Duties of the Priest; or, Selva. A Collection of Materials for Ecclesiastical Retreats. Rules of Life and Spiritual Rules Alfonso Maria de' Liguori / Kniha Pevná
common.buy 37.11 €
Love That Story Jonathan Van Ness / Kniha Brožovaná
common.buy 13.80 €
Porch Talk Philip Gulley / E-kniha Adobe ePub DRM
common.buy 8.69 €
History of the Popes, Volume I Leopold Von Ranke / Kniha Brožovaná
common.buy 23.60 €
Alexander: The Virtues Of War Steven Pressfield / E-kniha Adobe ePub DRM
common.buy 9.79 €

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ť?