Cantitate/Preț
Produs
Total produse
Vezi coșul
Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme de Hans Eveking

Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme: Leitfäden und Monographien der Informatik

Autor Hans Eveking
de Limba Germană Paperback – oct 1991

Din seria Leitfäden und Monographien der Informatik

  • 15% Stochastik für Informatiker
    Preț: 49105 lei
  • 20% Logik für Informatiker: Eine Einführung
    Preț: 20606 lei
  • 15% Datenstrukturen und effiziente Algorithmen: Band 1: Sortieren und Suchen
    Preț: 48899 lei
  • 15% Algorithmen in der Computergraphik
    Preț: 43969 lei
  • Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen
    Preț: 48244 lei
  • Entwurf und Technologie hochintegrierter Schaltungen
    Preț: 47139 lei
  • Prinzipien der Künstlichen Intelligenz: Wissensrepräsentation, Inferenz und Expertensysteme
    Preț: 48207 lei
  • Mathematik für Informatiker
    Preț: 48767 lei
  • 20% Einführung in die Informatik
    Preț: 30742 lei
  • Parsing: Eine Einführung in die maschinelle Analyse natürlicher Sprache
    Preț: 47815 lei
  • Einführung in den VLSI-Entwurf
    Preț: 47696 lei
  • Leistungsbewertung von Rechensystemen: mittels analytischer Warteschlangenmodelle
    Preț: 47536 lei
  • Programmierung in Modula-2: Eine Einführung in das modulare Programmieren mit Anwendungsbeispielen unter UNIX, MS-DOS und TOS
    Preț: 47564 lei
  • Graphen und Algorithmen
    Preț: 47415 lei
  • Parallelrechnerstrukturen: Synthese von Architektur, Kommunikation und Algorithmus
    Preț: 31317 lei
  • Grundlagen der Programmiersprachen
    Preț: 35701 lei
  • Künstliche Intelligenz in Bild- und Sprachanalyse
    Preț: 47383 lei
  • Test und Testbarkeit digitaler Schaltungen
    Preț: 47214 lei
  • Prinzipien und Realisierung von Betriebssystemen
    Preț: 47721 lei
  • Stochastische Modelle in der Informatik
    Preț: 47473 lei
  • Management der Software-Wartung
    Preț: 30810 lei
  • Analyse von Petri-Netz-Modellen
    Preț: 30962 lei
  • Automatentheorie: Eine Einführung in die Theorie endlicher Automaten
    Preț: 48498 lei
  • Betriebssysteme
    Preț: 47432 lei
  • Systematischer Entwurf digitaler Systeme: Von der System- bis zur Gatter-Ebene
    Preț: 48021 lei
  • Software Prototyping mit SETL
    Preț: 47003 lei
  • Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie
    Preț: 47321 lei
  • Grundlagen der systemnahen Programmierung
    Preț: 30889 lei
  • Datenflußrechner
    Preț: 48277 lei
  • Algorithmen und Datenstrukturen: Pascal-Version
    Preț: 41345 lei
  • Berechnungstheorie für Informatiker
    Preț: 30403 lei
  • Theoretische Informatik: Eine algorithmenorientierte Einführung
    Preț: 47321 lei
  • Algorithmen und Datenstrukturen mit Modula - 2
    Preț: 31296 lei
  • Mathematik für Informatiker 1
    Preț: 47452 lei
  • Mathematik für Informatiker 2
    Preț: 32270 lei
  • Grundzüge der Digitaltechnik
    Preț: 34522 lei
  • Elektrotechnik und Elektronik für Informatiker: Grundbegriffe der Elektrotechnik
    Preț: 48841 lei
  • Neuronale Netze: Eine Einführung in die Neuroinformatik
    Preț: 47601 lei
  • Vom Problem zum Programm: Eine Einführung in die Informatik
    Preț: 47209 lei
  • Effiziente Algorithmen für grundlegende Funktionen
    Preț: 47246 lei
  • Grundzüge der Datenverarbeitung: Methoden und Konzepte für die Anwendungen
    Preț: 47637 lei

Preț: 47770 lei

Nou

Puncte Express: 717
Preț estimativ în valută:
9143€ • 9529$ • 7611£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783519022497
ISBN-10: 3519022494
Pagini: 324
Ilustrații: XII, 308 S. 1 Abb.
Dimensiuni: 170 x 244 x 17 mm
Greutate: 0.52 kg
Ediția:1991
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Leitfäden und Monographien der Informatik

Locul publicării:Wiesbaden, Germany

Public țintă

Upper undergraduate

Cuprins

I: Grundlagen.- 1 Entwurfskorrektheit.- 2 Begriff der Abstraktionsebene.- 3 Modellierung von Verhalten.- 4 Sprachen der Prädikatenlogik.- 5 Formale Systeme der Prädikatenlogik.- II: Elementare Verifikationstechniken für Hardwarebeschreibungen.- 6 Hardwarebeschreibungen.- 7 Logikverifikation.- 8 Statische Beschreibungen.- 9 Transitionale Beschreibungen.- 10 Kombiniert statisch/transitionale Beschreibungen.- 11 Beschreibungen mit Vielfach-Verzögerungen.- 12 Switch-Level Beschreibungen.- 13 Strukturbeschreibungen.- III: Entwurfsmethodik.- 14 Strukturierte Entwurfsmethoden.- 15 Erweiterungen von Beschreibungen.- 16 Interpretierbare Beschreibungen.- 17 Zeitliche Abstraktion.- 18 Äquivalenz von Beschreibungen.- 19 Verifikation von Teilen.- 20 Horizontale Verifikation.- 21 Timing-Verifikation.- 22 Struktur von Verifikations-Werkzeugen.- Anhang: Beschreibung eines Divisionswerks auf vier Abstraktionsebenen.