Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Imperial College Press, leden 1995
The focus of this workshop was the development of mathematically-based techniques of formal specific... Celý popis
? points 370 b
3 696 Kč
50 % šance Prohledáme celý svět Kdy knihu dostanu?

Až 30 dní na vrácení zboží

Zákazníci také koupili

PRINCESA CEN.14 LAWRENCE / Kniha Brožovaná
common.buy 234 Kč
Oraison Funebre de Louis XVI. Seconde Edition Barrallier-D / Kniha Brožovaná
common.buy 284 Kč
Bajkoviti adventski kalendar Tereza Konupčíková / Kniha binding.
common.buy 780 Kč
Theoretische und methodische Grundlagen ausgewahlter leichtathletischer Disziplinen André Lach / Kniha Brožovaná
common.buy 369 Kč
Pfadfinderin Paul Heyse / Kniha Brožovaná
common.buy 198 Kč
Čepel čarodějky A. K. Mulford / Kniha Brožovaná
common.buy 367 Kč
Cyclope Exorbite E. Aarons / Kniha Brožovaná
common.buy 162 Kč
Cómo practicar la quiromancia : una guía para conocer el lenguaje de las manos NATHANIEL ALTMAN / Kniha Brožovaná
common.buy 321 Kč
Democracia a la fuerza : intervenciones estadounidenses en la República Dominicana, Granada y Panamá Russell Crandall / Kniha Brožovaná
common.buy 713 Kč
Připravujeme
Die Elixiere des Teufels. Lebensansichten des Katers Murr E. T. A. Hoffmann / Kniha Pevná
common.buy 329 Kč
Był sobie kraj. Rozmowy o Polsce Magdalena M. Baran / Kniha Brožovaná
common.buy 259 Kč
La princesse des nuages Lê Khoa / Kniha Pevná
common.buy 323 Kč
Bwa bandé Marie-Reine de Jaham / Kniha Brožovaná
common.buy 649 Kč
CAJOU ROI DU DODO Didier Levy / Kniha Pevná
common.buy 185 Kč
Establecimiento de un sistema de propagación in vitro en girasol Alejandra Sofía Betancourt Queffelec / Kniha Brožovaná
common.buy 1 077 Kč
Histoire de S. E. Mgr Le Cardinal Gousset FEVRE-J / Kniha Brožovaná
common.buy 765 Kč
Metro Cuadrado M. Depatlaura / Kniha Brožovaná
common.buy 323 Kč
La Ciudad De Dios (Spanish Edition) Agustin De Hipona / Kniha Brožovaná
common.buy 548 Kč
Top
Az Üzlet Öröme - Joy of Business Hungarian Simone Milasas / Kniha Brožovaná
common.buy 412 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Theory and Formal Methods of Computing
Autor Chris Hankin, I. Mackie, Rajagopal Nagarajan
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 1995
Počet stran 444
EAN 9781860940033
Libristo kód 05121460
Nakladatelství Imperial College Press
Váha 592
Rozměry 230

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Horn of the Kraken Stephen B. Pearl / Kniha Brožovaná
common.buy 1 042 Kč
Annual Editions: American History, Volume 1, 18/E Robert James Maddox / Kniha Brožovaná
common.buy 737 Kč
Meditative Commentary Series: Ephesians, Philippians, Colossians, Philemon: Jesus Above All Earl Lavender / Kniha Brožovaná
common.buy 237 Kč
Wally Walnut B. L. Edwards / Kniha Brožovaná
common.buy 583 Kč
Law Enforcement Intelligence David L. Carter / Kniha Pevná
common.buy 1 455 Kč
Use of neutron beams for materials research relevant to the nuclear energy sector International Atomic Energy Agency / Kniha Brožovaná
common.buy 571 Kč
The Role of Trade and Technology in 21st-Century Manufacturing Committee on Finance United States Senat / Kniha Brožovaná
common.buy 361 Kč
The Holy Qur'an. Kerry Butters / Kniha Brožovaná
common.buy 423 Kč
Laurie's Secret P Lee May / Kniha Brožovaná
common.buy 217 Kč
International Handbook of Addiction Behaviour Ilana Belle Glass / Kniha Brožovaná
common.buy 1 428 Kč
Tunguska: An Apocalyptic Event Beyond Belief Conrad Bauer / Kniha Brožovaná
common.buy 237 Kč
Top
Full Metal Panic! Volumes 1-3 Collector's Edition Shouji Gatou / Kniha Pevná
common.buy 536 Kč
Canadian Brass Book of Intermediate Tuba Solos: With Online Audio of Performances and Accompaniments [With CD] Hal Leonard Corp / Kniha Brožovaná
common.buy 387 Kč
Woods COBEN HARLAN / Kniha Brožovaná
common.buy 244 Kč
Looking for Laura David Wilson / Kniha Brožovaná
common.buy 806 Kč
The Mismanagement of Chirtmas Jeff Smith / Kniha Brožovaná
common.buy 234 Kč
Samuel Hahnemann's Organon of Homeopathic Medicine (1849) Samuel Hahnemann / Kniha Pevná
common.buy 968 Kč
History of the Popes, Volume I Leopold Von Ranke / Kniha Brožovaná
common.buy 577 Kč
My First Book About Engineering: An Awesome Introduction to Robotics & other Fields of Engineering Patricia Wynne / Kniha Brožovaná
common.buy 126 Kč
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 903 Kč
Love That Story Jonathan Van Ness / Kniha Brožovaná
common.buy 292 Kč
Porch Talk Philip Gulley / E-kniha Adobe ePub DRM
common.buy 212 Kč
Integrating Clinical Aromatherapy in Palliative Care Rhiannon Lewis / Kniha Brožovaná
common.buy 959 Kč
Silver: Of Hunters and Prey (Silver Book #2) Franck / Kniha Pevná
common.buy 491 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?