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.

Integrated Formal Methods

Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Integrated Formal Methods Wolfgang Grieskamp
Libristo kód: 01563119
Nakladatelství Springer, Berlin, listopad 1999
This book constitutes the refereed proceedings of the Second International Conference on Integrated... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

La Maison de l'ombre Carbonel / Kniha Brožovaná
common.buy 611 Kč
La encrucijada de la educación / Kniha Brožovaná
common.buy 489 Kč
Pane ministře, volá Sarajevo Vladimír Přibský / Kniha List
common.buy 159 Kč
Pillole di Vendere! Beppe Damioli / Kniha Brožovaná
common.buy 305 Kč
Coach Rozhovory Zdeněk Haník / Kniha Pevná
common.buy 319 Kč
Levně
Šenkýřka krásy Jan Schneider / Kniha Kniha
common.buy 56 Kč
Top
Coloriages mystères Les grands classiques Disney Disney / Kniha Brožovaná
common.buy 454 Kč
Moje nezbedné štěně Hry s Lumpíkem? Holly Webb / Kniha Brožovaná
common.buy 120 Kč
Entwicklung und Migration Dietrich Thränhardt / Kniha Brožovaná
common.buy 620 Kč

This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000.The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.

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 Integrated Formal Methods
Autor Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2000
Počet stran 446
EAN 9783540411963
ISBN 3540411968
Libristo kód 01563119
Nakladatelství Springer, Berlin
Váha 700
Rozměry 155 x 235 x 23

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
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

Jewish Bialystok and Its Diaspora Rebecca Kobrin / Kniha Brožovaná
common.buy 773 Kč
Gilmore Girls Premium Advent Calendar Insight Editions / Kalendář/Diář Kalendář
common.buy 2 735 Kč
Aria De Luca Jaclin Marie / Kniha Brožovaná
common.buy 325 Kč
Proteomics Mass Spectrometry Methods Paula Meleady / Kniha Brožovaná
common.buy 3 176 Kč
Bedtime Stories for Kids Imogen Young / Kniha Pevná
common.buy 574 Kč
Dying for Mercy LP: A Novel of Suspense Mary Jane Clark / Kniha Brožovaná
common.buy 501 Kč
Immigrants' Son, An American Story George Trebat / Kniha Brožovaná
common.buy 491 Kč
Criminal Justice No'l Merino / Kniha Brožovaná
common.buy 886 Kč
Landmarks in Medical Genetics Harper / Kniha Pevná
common.buy 2 722 Kč
Out of Left Field Rebecca T. Alpert / Kniha Brožovaná
common.buy 875 Kč
Introduction to Nonlinear and Global Optimization Eligius M.T. Hendrix / Kniha Brožovaná
common.buy 1 155 Kč
Local Girls Caroline Zancan / Kniha Brožovaná
common.buy 465 Kč
Classical Circuit Theory Omar Wing / Kniha Pevná
common.buy 3 532 Kč
It's Now or Never Carole Matthews / Kniha Brožovaná
common.buy 293 Kč
Oxford Reading Tree: Level 1: More First Words: Class Pack of 36 Roderick Hunt / Kniha Brožovaná
common.buy 4 970 Kč
Black Cat TRUE ADVENTURE STORIES + CD ( Reading a Training Level 3) Peter Foreman / Kniha Brožovaná
common.buy 225 Kč
Biggle Swine Book Jacob Biggle / Kniha Pevná
common.buy 150 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?