## SE7103 Formal Models of Software Systems -R2013

UNIT I FOUNDATIONS OF Z Understanding formal methods – motivation for...

x

UNIT I FOUNDATIONS OF Z Understanding formal methods – motivation for...

UNIT I FUNDAMENTALS OF QUANTITATIVE DESIGN AND ANALYSIS Classes of Computers...

UNIT I ITERATIVE AND RECURSIVE ALGORITHMS Iterative Algorithms: Measures of Progress...

UNIT I INTRODUCTION TO NETWORK MANAGEMENT Overview of Analysis, Architecture and...

UNIT I ONE DIMENSIONAL RANDOM VARIABLES Random variables – Probability function...

SEMESTER I THEORY 1. MA7155 Applied Probability and Statistics 2. CP7101...

UNIT I INTRODUCTION Computing and Computers, Evolution of Computers, VLSI Era,...

UNIT I DISCRETE FOURIER TRANSFORM DFT and its properties, Relation between...