Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Integrated Formal Methods

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Integrated Formal Methods Wolfgang Grieskamp
Koda Libristo: 01563119
Založba Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the Second International Conference on Integrated... Celoten opis
? points 118 b
48.89 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

La Maison de l'ombre Carbonel / Knjiga Mehka
common.buy 23.07 €
La encrucijada de la educación / Knjiga Mehka
common.buy 20.24 €
Pane ministře, volá Sarajevo Vladimír Přibský / Knjiga Preglednica
common.buy 6.06 €
Pillole di Vendere! Beppe Damioli / Knjiga Mehka
common.buy 12.64 €
Coach Rozhovory Zdeněk Haník / Knjiga Trda
common.buy 12.24 €
Poceni
Šenkýřka krásy Jan Schneider / Knjiga Knjiga
common.buy 2.32 €
Top
Coloriages mystères Les grands classiques Disney Disney / Knjiga Mehka
common.buy 19.73 €
Moje nezbedné štěně Hry s Lumpíkem? Holly Webb / Knjiga Mehka
common.buy 5.36 €
Entwicklung und Migration Dietrich Thränhardt / Knjiga Mehka
common.buy 22.97 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Integrated Formal Methods
Avtor Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2000
Število strani 446
EAN 9783540411963
ISBN 3540411968
Koda Libristo 01563119
Založba Springer, Berlin
Teža 700
Mere 155 x 235 x 23

Kategorije

Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Jewish Bialystok and Its Diaspora Rebecca Kobrin / Knjiga Mehka
common.buy 31.98 €
Gilmore Girls Premium Advent Calendar Insight Editions / Koledar/Rokovnik Koledar
common.buy 113.08 €
Aria De Luca Jaclin Marie / Knjiga Mehka
common.buy 13.45 €
Proteomics Mass Spectrometry Methods Paula Meleady / Knjiga Mehka
common.buy 116.72 €
Bedtime Stories for Kids Imogen Young / Knjiga Trda
common.buy 23.78 €
Dying for Mercy LP: A Novel of Suspense Mary Jane Clark / Knjiga Mehka
common.buy 20.74 €
Immigrants' Son, An American Story George Trebat / Knjiga Mehka
common.buy 20.34 €
Criminal Justice No'l Merino / Knjiga Mehka
common.buy 36.64 €
Landmarks in Medical Genetics Harper / Knjiga Trda
common.buy 117.94 €
Out of Left Field Rebecca T. Alpert / Knjiga Mehka
common.buy 37.85 €
Introduction to Nonlinear and Global Optimization Eligius M.T. Hendrix / Knjiga Mehka
common.buy 47.78 €
Local Girls Caroline Zancan / Knjiga Mehka
common.buy 19.23 €
Classical Circuit Theory Omar Wing / Knjiga Trda
common.buy 146.08 €
It's Now or Never Carole Matthews / Knjiga Mehka
common.buy 12.95 €
Oxford Reading Tree: Level 1: More First Words: Class Pack of 36 Roderick Hunt / Knjiga Mehka
common.buy 185.06 €
Black Cat TRUE ADVENTURE STORIES + CD ( Reading a Training Level 3) Peter Foreman / Knjiga Mehka
common.buy 8.29 €
Biggle Swine Book Jacob Biggle / Knjiga Trda
common.buy 6.17 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?