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ț: 48608 lei
  • 20% Logik für Informatiker: Eine Einführung
    Preț: 20386 lei
  • 15% Datenstrukturen und effiziente Algorithmen: Band 1: Sortieren und Suchen
    Preț: 48404 lei
  • 15% Algorithmen in der Computergraphik
    Preț: 43526 lei
  • Aussagenlogik: Deduktion und Algorithmen: Deduktion und Algorithmen
    Preț: 47762 lei
  • Entwurf und Technologie hochintegrierter Schaltungen
    Preț: 46670 lei
  • Prinzipien der Künstlichen Intelligenz: Wissensrepräsentation, Inferenz und Expertensysteme
    Preț: 47726 lei
  • Mathematik für Informatiker
    Preț: 48281 lei
  • 20% Einführung in die Informatik
    Preț: 30441 lei
  • Parsing: Eine Einführung in die maschinelle Analyse natürlicher Sprache
    Preț: 47338 lei
  • Einführung in den VLSI-Entwurf
    Preț: 47218 lei
  • Leistungsbewertung von Rechensystemen: mittels analytischer Warteschlangenmodelle
    Preț: 47062 lei
  • Programmierung in Modula-2: Eine Einführung in das modulare Programmieren mit Anwendungsbeispielen unter UNIX, MS-DOS und TOS
    Preț: 47088 lei
  • Graphen und Algorithmen
    Preț: 46942 lei
  • Parallelrechnerstrukturen: Synthese von Architektur, Kommunikation und Algorithmus
    Preț: 31018 lei
  • Grundlagen der Programmiersprachen
    Preț: 35354 lei
  • Künstliche Intelligenz in Bild- und Sprachanalyse
    Preț: 46911 lei
  • Test und Testbarkeit digitaler Schaltungen
    Preț: 46743 lei
  • Prinzipien und Realisierung von Betriebssystemen
    Preț: 47245 lei
  • Stochastische Modelle in der Informatik
    Preț: 46997 lei
  • Management der Software-Wartung
    Preț: 30515 lei
  • Analyse von Petri-Netz-Modellen
    Preț: 30666 lei
  • Automatentheorie: Eine Einführung in die Theorie endlicher Automaten
    Preț: 48013 lei
  • Betriebssysteme
    Preț: 46957 lei
  • Systematischer Entwurf digitaler Systeme: Von der System- bis zur Gatter-Ebene
    Preț: 47542 lei
  • Software Prototyping mit SETL
    Preț: 46533 lei
  • Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie
    Preț: 46848 lei
  • Grundlagen der systemnahen Programmierung
    Preț: 30593 lei
  • Datenflußrechner
    Preț: 47793 lei
  • Algorithmen und Datenstrukturen
    Preț: 39952 lei
  • Berechnungstheorie für Informatiker
    Preț: 30111 lei
  • Theoretische Informatik: Eine algorithmenorientierte Einführung
    Preț: 46848 lei
  • Algorithmen und Datenstrukturen mit Modula - 2
    Preț: 30996 lei
  • Mathematik für Informatiker 1
    Preț: 46977 lei
  • Mathematik für Informatiker 2
    Preț: 31958 lei
  • Grundzüge der Digitaltechnik
    Preț: 34186 lei
  • Elektrotechnik und Elektronik für Informatiker: Grundbegriffe der Elektrotechnik
    Preț: 48353 lei
  • Neuronale Netze: Eine Einführung in die Neuroinformatik
    Preț: 47125 lei
  • Vom Problem zum Programm: Eine Einführung in die Informatik
    Preț: 46737 lei
  • Effiziente Algorithmen für grundlegende Funktionen
    Preț: 46774 lei
  • Grundzüge der Datenverarbeitung: Methoden und Konzepte für die Anwendungen
    Preț: 47161 lei

Preț: 47292 lei

Puncte Express: 709

Carte tipărită la comandă

Livrare economică 13-27 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

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.