Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

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

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Isabelle

Name: Isabelle
Brand: Springer, Berlin
SKU: 02780943
Price: 55.93 EUR
Availability: InStock
Author: Lawrence C. Paulson
ISBN: 9783540582441

A Generic Theorem Prover

Lawrence C. Paulson

Tobias Nipkow

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 02780943

Nakladateľstvo Springer, Berlin, november 1993

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Celý popis

Libristo kód: 02780943

135 b

55.93 €

Skladom u dodávateľa v malom množstve Odosielame za 11-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

En el suelo hay poesía : camino al verso Jose Luis Álvarez Velez

Brožovaná

14.58 €

Where Hummingbirds Come From Bilingual Amharic English Adele Marie Crouch

Brožovaná

14.08 €

Ce monstre aux yeux verts Villemot

Brožovaná

14.38 €

#VivreAuVingtEtUnièmeSiècle Kosma Kniha

Brožovaná

19.55 €

Tres Cuentos Nikolai Gógol

Brožovaná

18.43 €

Sherlock Holmes - Sammelbox, 3 DVD Henri Safran

DVD

25.12 €

Le sculture di Monteoliveto. Una storia di Rinascimento a Napoli Riccardo Naldi

Brožovaná

26.95 €

Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias. Esther Gonzalez

Brožovaná

12.35 €

Feuersturm Alfred Lambeck

Brožovaná

13.57 €

PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch

Mapa

9.31 €

Desafio de Humanizar El Trabajo Grether Lucía Real Pérez

Brožovaná

60.09 €

Handlungsunrecht der Steuerhinterziehung Alexander Hoff

Brožovaná

66.07 €

Odvaha za úsvitu Helen Lawsonová

Brožovaná

1.00 €

Lehrbuch Der Gesamten Chemie Friedrich L. Breusch

Brožovaná

36.27 €

Minus Drei und der Zahlensalat Ute Krause

Pevná

8.81 €

Innovationsfinanzierung durch Venture Capital Arno Nonnen

Brožovaná

65.86 €

Geschichtspolitik in Der "berliner Republik" Manuel Becker

Brožovaná

75.39 €

Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter

Brožovaná

54.11 €

Špaky v tŕní Zuzana Cigánová

Pevná

4.55 €

Nevěrná Vladimír Kavčiak

Pevná

7.79 €

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Isabelle

Autor Lawrence C. Paulson, Tobias Nipkow

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 1994

Počet strán 329

EAN 9783540582441

ISBN 3540582444

Libristo kód 02780943

Nakladateľstvo Springer, Berlin

Váha 535

Rozmery 156 x 234 x 18

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Matematika a veda > Matematika > Matematické základy > Matematická logika

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 > Teória algoritmov

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 > Informatika > Umelá inteligencia